Hugo Locurcio 10a8b1d380 Remove obsolete sort_demos.sh script ... The Project Manager now sorts projects by name by default, making this script redundant.		2019-10-02 09:46:27 +02:00
..
dist
hooks
scripts	Remove obsolete sort_demos.sh script	2019-10-02 09:46:27 +02:00
travis