Maarten Billemont 44d8ab6e53 Remove some pointless local's.		2017-09-04 14:29:25 -04:00
..
cli-c	Remove some pointless local's.	2017-09-04 14:29:25 -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