Mokaddem 27ae577e00 Fixed stupid line remove in index.html...		2016-08-22 16:25:52 +02:00
..
static	Fixed stupid line remove in index.html...	2016-08-22 16:25:52 +02:00
templates	Fixed bug in manage-terms-top-set + added auto sorting in important-paste-by-module	2016-08-22 14:54:37 +02:00
Flask_server.py	Fixed bug in flask with zrange (was taking the bottom of the set instead of the top leading to get only the min instead of max)	2016-08-22 16:12:20 +02:00
update_thirdparty.sh	Added dependencies	2016-08-17 11:04:48 +02:00