diff options
| -rw-r--r-- | devel/frink/files/patch-indent | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devel/frink/files/patch-indent b/devel/frink/files/patch-indent new file mode 100644 index 000000000000..a2aa47e9b62b --- /dev/null +++ b/devel/frink/files/patch-indent @@ -0,0 +1,10 @@ +--- frink.c Mon Apr 23 10:31:13 2001 ++++ frink.c Tue May 8 15:47:35 2001 +@@ -34 +34 @@ +-int indent = 4; ++int indent = 8; +--- frink.1 Mon Apr 23 10:31:13 2001 ++++ frink.1 Tue May 8 15:47:48 2001 +@@ -79 +79 @@ +-Set the indentation for each level. (default = 4) ++Set the indentation for each level. (default = 8) |