Merge branch 'develop' into 'master'
Develop See merge request !17
Showing
- .gitlab-ci.yml 29 additions, 7 deletions.gitlab-ci.yml
- Dockerfile 0 additions, 37 deletionsDockerfile
- src/libcorpus2/CMakeLists.txt 1 addition, 1 deletionsrc/libcorpus2/CMakeLists.txt
- src/libcorpus2_whole/CMakeLists.txt 1 addition, 1 deletionsrc/libcorpus2_whole/CMakeLists.txt
- uploaddeb.sh 0 additions, 9 deletionsuploaddeb.sh
Dockerfile
deleted
100644 → 0
uploaddeb.sh
deleted
100644 → 0
Please register or sign in to comment