Hombre
|
5b136d664d
|
Merge branch 'dev' into spot-removal-tool
|
2019-03-25 22:35:17 +01:00 |
|
Hombre
|
e0c04955e3
|
Fix build crash (see #5232), but this branch is still not usable
|
2019-03-19 22:29:10 +01:00 |
|
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 |
|
Hombre
|
3eeeb151ec
|
Merge branch 'master' into spot-removal-tool
|
2016-12-28 01:57:46 +01: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 |
|