4 Commits

Author	SHA1	Message	Date
Hombre	698492e21c	Merge branch 'dev' into spot-removal-tool	2019-03-18 22:35:11 +01:00
Hombre57	81932ba2d6	Some files 'astylized' + slight cleanup	2017-08-22 00:15:56 +02:00
Hombre57	f75bed1bfa	Merge branch 'dev' into spot-removal-tool	2017-08-20 21:06:09 +02:00
Hombre	56dafcf8c1	Spot Removal tool ... It is not working yet, but the GUI is (almost) done. See issue #2239.	2016-04-23 00:46:01 +02:00