Merge branch 'halloween' of github.com:ZeusWPI/zeus.ugent.be into halloween

This commit is contained in:
ajuvercr 2018-10-31 15:27:27 +01:00
commit 83eaeff984

View file

@ -20,6 +20,7 @@ engines:
exclude_paths:
- "**/*tipuesearch.js"
- "content/assets/scripts/halloween/cv-wasm.js"
ratings:
paths: