Tom Willemse d8aa1d0ed1 Have the install command uninstall first ... The new uninstall functionality tries to remove any "orphan" files. Files that were installed during the last install, but will not be installed this time (because of removal, not necessity).		2013-04-14 01:03:11 +02:00
..
functions	Have the install command uninstall first	2013-04-14 01:03:11 +02:00
syntax-highlighting@d2715e2cb3	Undo move	2012-11-10 12:57:14 +01:00
.gitignore	Undo move	2012-11-10 12:57:14 +01:00
Makefile	Have the install command uninstall first	2013-04-14 01:03:11 +02:00