diff options
Diffstat (limited to 'sys-process/time/files/1.7-info-dir-entry.patch')
| -rw-r--r-- | sys-process/time/files/1.7-info-dir-entry.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/sys-process/time/files/1.7-info-dir-entry.patch b/sys-process/time/files/1.7-info-dir-entry.patch deleted file mode 100644 index eb30029722bb..000000000000 --- a/sys-process/time/files/1.7-info-dir-entry.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- a/time.info -+++ b/time.info -@@ -19,6 +19,9 @@ - manual into another language, under the above conditions for modified - versions, except that this permission notice may be stated in a - translation approved by the Foundation. -+START-INFO-DIR-ENTRY -+* time: (time). summarize system resources used -+END-INFO-DIR-ENTRY - - - File: time.info, Node: Top, Prev: (dir), Up: (dir) |