Hombre
|
1cf62a2a65
|
Merge branch 'dev' into spot-removal-tool
|
2019-09-14 23:31:02 +02:00 |
|
Morgan Hardwood
|
60b2196bce
|
Updated gnu.org links to use HTTPS
|
2019-09-10 12:34:57 +02:00 |
|
Hombre
|
82e7caa635
|
Spot removal : differentiating source/dest, betted cursor handling
+ some code cleanup from floessie (see issue #2239)
|
2019-09-01 02:08:48 +02:00 |
|
Hombre
|
b76b630ec8
|
Line endings in edit files converted to Unix format
|
2019-03-26 22:26:16 +01:00 |
|
Hombre
|
765c20d64a
|
Line endings of new edit files converted to Unix
(see #5230)
|
2019-03-26 22:11:49 +01:00 |
|
Hombre
|
108b69ae22
|
"edit.h/.cc" splitted to limit rebuilding dependencies
|
2019-03-22 00:09:37 +01:00 |
|