diff options
Diffstat (limited to 'desktop/docfetcher/paths.patch')
| -rw-r--r-- | desktop/docfetcher/paths.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/desktop/docfetcher/paths.patch b/desktop/docfetcher/paths.patch deleted file mode 100644 index 6f071637c164..000000000000 --- a/desktop/docfetcher/paths.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- DocFetcher-1.1.19.orig/misc/paths.txt 2017-01-10 16:36:26.000000000 +0100 -+++ DocFetcher-1.1.19/misc/paths.txt 2018-01-23 08:39:05.136882469 +0100 -@@ -28,10 +28,13 @@ - - # Where the settings are stored: - #settings=C:/path/to/settings/folder -+settings=${user.home}/.docfetcher/conf - - # Where the indexes are stored. Note: The DocFetcher daemon currently ignores - # this setting. - #indexes=C:/path/to/indexes/folder -+indexes=${user.home}/.docfetcher/indexes - - # Where the SWT library files will be written to: --#swt=C:/path/to/swt-libs -\ No newline at end of file -+#swt=C:/path/to/swt-libs -+swt=${user.home}/.docfetcher/swt |