Christoph Atteneder 148cd30b39 Not clean up old installer of same version as it also deletes the new file on Ubuntu		2019-01-07 11:09:06 +01:00
..
package	Not clean up old installer of same version as it also deletes the new file on Ubuntu	2019-01-07 11:09:06 +01:00
src	Correct minor grammatical mistakes in the T&C	2018-12-18 20:16:43 +01:00