Jan Steemann 2ae22e5f97 don't use wget options		2015-11-23 12:25:31 +01:00
..
ARM	…
MacOSX/Bundle	…
Windows	* fix windows language from russian to English	2015-07-20 14:10:49 +02:00
travisCI	don't use wget options	2015-11-23 12:25:31 +01:00
file-copy-js.sh	create file list	2015-09-10 12:32:06 +02:00
file-list-js.sh	added cache for file list	2015-09-09 11:23:25 +02:00
release.sh	Build the documentation in the release process to enshure its valid before doing the tag.	2015-09-15 16:15:29 +02:00