From a086dfd97c57cee255054b68090fbe270dcb22a4 Mon Sep 17 00:00:00 2001 From: Mikhail Teterin Date: Tue, 8 May 2001 20:05:56 +0000 Subject: [PATCH] Make the default indentation level to be 8 positions, in the spirit of style(9). One can still use the -i option to set it to whatever. The port only exists for a few minutes, so, no revision bump. --- devel/frink/files/patch-indent | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 devel/frink/files/patch-indent 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)