]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - file_write.ggo
Move ggo files to a separate directory.
[paraslash.git] / file_write.ggo
diff --git a/file_write.ggo b/file_write.ggo
deleted file mode 100644 (file)
index 56c44f7..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-option "filename" f
-#~~~~~~~~~~~~~~~~~~
-"specify output file name"
-string typestr="filename"
-optional
-details="
-       Defaults to a random filename in ~/.paraslash.
-"
-