2 Commits

Author	SHA1	Message	Date
Jan	e1a1427c1e	remove shell-database.js from git again, and apply modifications to shell-database.js.in (#3248)	2017-09-13 09:49:05 +02:00
Frank Celler	dc5e946c05	version number is now generated	2017-02-09 16:35:10 +01:00