7 Commits

Author	SHA1	Message	Date
mintty	fabdf1ec30	uninstall to remove desktop shortcut (#184)	2019-08-12 18:12:58 +02:00
mintty	48f69cb11f	support new WSL distribution model (#52)	2017-07-28 14:14:51 +02:00
mintty	d7c73fb40e	revise installation; change config location, flexible install target	2017-05-19 22:19:20 +02:00
mintty	c820364bd6	adapt new configuration setup	2016-11-18 10:30:56 +01:00
Thomas Wolff	ae637e4645	updates for release 0.7.0	2016-11-16 16:46:50 +01:00
Thomas Wolff	98d4697bca	Add Shortcut and command script variants changing to Linux home directory (#3).	2016-10-11 18:04:15 +02:00
mintty	ff527bcd12	providing uninstaller (for manual invocation)	2016-09-16 13:58:30 +02:00