Hombre 20a0fb7af9 Merge branch 'dev' into spot-removal-tool (see #2239)

2017-11-25 23:30:52 +01:00

..

actions

Merge branch 'dev' into spot-removal-tool (see #2239)

2017-11-25 23:30:52 +01:00

devices

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00

places

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00

index.theme

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00