summaryrefslogtreecommitdiff
path: root/manual/plugins/disktidy.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/plugins/disktidy.tex')
-rw-r--r--manual/plugins/disktidy.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/plugins/disktidy.tex b/manual/plugins/disktidy.tex
index 6892406e64..61fa5ec786 100644
--- a/manual/plugins/disktidy.tex
+++ b/manual/plugins/disktidy.tex
@@ -1,4 +1,4 @@
1% $Id $ % 1% $Id$ %
2\subsection{Disk Tidy} 2\subsection{Disk Tidy}
3 Disk Tidy deletes junk files left behind by Windows, Linux or OS X after a USB 3 Disk Tidy deletes junk files left behind by Windows, Linux or OS X after a USB
4 connection. Select the OS's files you want to delete in the 'Files to Clean' 4 connection. Select the OS's files you want to delete in the 'Files to Clean'