diff options
author | Simon Josefsson <simon@josefsson.org> | 2010-06-07 15:20:28 +0200 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2010-06-07 15:20:28 +0200 |
commit | cf0152fe0c3970ea2fa0b27fec202e605b05ecab (patch) | |
tree | 78d230d35c53cdecc84a4f8fdabae13b86818ae8 | |
parent | bfe6ede9843c0ce0029337730b8ab3754049f6f2 (diff) | |
download | gnutls-cf0152fe0c3970ea2fa0b27fec202e605b05ecab.tar.gz |
Drop unnecessary gnulib patch.
-rw-r--r-- | gl/override/top/maint.mk.diff | 10 | ||||
-rw-r--r-- | maint.mk | 1 |
2 files changed, 0 insertions, 11 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. @@ -1185,7 +1185,6 @@ INDENT_SOURCES ?= $(C_SOURCES) indent: indent $(INDENT_SOURCES) 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. |