diff options
| author | mi <mi@FreeBSD.org> | 2001-05-09 04:05:56 +0800 |
|---|---|---|
| committer | mi <mi@FreeBSD.org> | 2001-05-09 04:05:56 +0800 |
| commit | ae652d5ca863755a469291b3b4cabb073b1ea537 (patch) | |
| tree | babcffce915fbf5ff0119736db965d238f2d4b7b | |
| parent | 1dfa79c35b9a44c8190bfd370b292e747d48bbf3 (diff) | |
| download | freebsd-ports-gnome-ae652d5ca863755a469291b3b4cabb073b1ea537.tar.gz freebsd-ports-gnome-ae652d5ca863755a469291b3b4cabb073b1ea537.tar.zst freebsd-ports-gnome-ae652d5ca863755a469291b3b4cabb073b1ea537.zip | |
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.
| -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) |