diff options
| author | Simon Josefsson <simon@josefsson.org> | 2010-12-06 16:44:42 +0100 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2010-12-06 16:44:42 +0100 |
| commit | 3ad0f8f7091cdcbed16d059413a4ae2b90243ca6 (patch) | |
| tree | a01be29a7514fc499257dbc6fbb2808197887c6b /gl | |
| parent | ac86182416c13e092a5183d3c117a487bb55ec93 (diff) | |
| download | gnutls-3ad0f8f7091cdcbed16d059413a4ae2b90243ca6.tar.gz | |
Remove.
Diffstat (limited to 'gl')
| -rw-r--r-- | gl/override/top/maint.mk.diff | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gl/override/top/maint.mk.diff b/gl/override/top/maint.mk.diff deleted file mode 100644 index b44951c923..0000000000 --- a/gl/override/top/maint.mk.diff +++ /dev/null @@ -1,10 +0,0 @@ ---- maint.mk.orig 2010-04-15 09:42:17.000000000 +0200 -+++ maint.mk 2010-04-15 09:42:32.000000000 +0200 -@@ -1099,6 +1099,7 @@ - .PHONY: indent - indent: - indent $(INDENT_SOURCES) -+ indent $(INDENT_SOURCES) # Ident is not idempotent! - - # If you want to set UPDATE_COPYRIGHT_* environment variables, - # put the assignments in this variable. |