diff options
Diffstat (limited to 'devel/aegis/files/patch-common_gettime_y')
| -rw-r--r-- | devel/aegis/files/patch-common_gettime_y | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/devel/aegis/files/patch-common_gettime_y b/devel/aegis/files/patch-common_gettime_y deleted file mode 100644 index f3e18676f38b..000000000000 --- a/devel/aegis/files/patch-common_gettime_y +++ /dev/null @@ -1,18 +0,0 @@ ---- common/gettime.y.orig 2020-06-17 17:45:06.095616000 -0400 -+++ common/gettime.y 2020-06-17 17:45:33.928740000 -0400 -@@ -1,6 +1,7 @@ - /* - * aegis - project change supervisor - * Copyright (C) 1991-1995, 1997-1999, 2002-2008, 2012 Peter Miller -+ * Copyright (C) 2020 Aryeh M. Friedman - * - * This program is free software; you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by -@@ -21,6 +22,7 @@ - * Steven Bellovin <smb@cs.unc.edu> - */ - -+%define api.prefix {gettime_} - %token AGO - %token COLON - %token COMMA |