Merge branch 'development' into 'master'
Bringing fixes to production See merge request !277
Showing
- src/main/docker/gitsearch.yml 1 addition, 2 deletionssrc/main/docker/gitsearch.yml
- src/main/docs/source/filehooks_infrastructure.rst 2 additions, 1 deletionsrc/main/docs/source/filehooks_infrastructure.rst
- src/main/java/at/ac/uibk/gitsearch/service/StatisticsService.java 24 additions, 2 deletions.../java/at/ac/uibk/gitsearch/service/StatisticsService.java
- src/main/java/at/ac/uibk/gitsearch/web/rest/ExerciseResource.java 4 additions, 4 deletions.../java/at/ac/uibk/gitsearch/web/rest/ExerciseResource.java
- src/main/webapp/app/exercise/service/exercise.service.ts 19 additions, 9 deletionssrc/main/webapp/app/exercise/service/exercise.service.ts
- src/main/webapp/i18n/de/reviews.json 1 addition, 0 deletionssrc/main/webapp/i18n/de/reviews.json
- src/main/webapp/i18n/en/reviews.json 1 addition, 0 deletionssrc/main/webapp/i18n/en/reviews.json
Please register or sign in to comment