diff options
| -rw-r--r-- | orgmode-backports.org | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/orgmode-backports.org b/orgmode-backports.org index cfe1ad6..d303077 100644 --- a/orgmode-backports.org +++ b/orgmode-backports.org @@ -4175,12 +4175,6 @@ The initial list was generated using Paul Eggert Thu Nov 13 19:16:15 2014 -0800 -- [X] 123ddec7f807f4bd7400bbbe08219afb02269c00 - - Simplify use of current-time and friends. - Paul Eggert - Tue Oct 28 18:42:51 2014 -0700 - - [X] 29993416fb4d19c1c3bb146367fc4bed74845486 Add .info extension to @setfilename commands in doc/ This makes no difference to anything, since we always use makeinfo -o, but it makes automake happier, if we ever decide to use that. |