Maarten Billemont 23af56c150 Slight clean-up of types, includes and warnings.		2017-08-30 09:39:35 -04:00
..
cli-c	Slight clean-up of types, includes and warnings.	2017-08-30 09:39:35 -04:00
cli-java	GPLv3 headers on Java code.	2017-04-05 16:30:16 -04:00
gui-java	Update website for 2.5-CLI-1 release and symlinks.	2017-04-07 22:41:39 -04:00
web-js	Instructions for the web platform.	2017-03-06 18:09:45 -05:00