summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2007-11-05 14:15:19 +0000
committerPaul Smith <psmith@gnu.org>2007-11-05 14:15:19 +0000
commit8025f93312d53e0edc77677fe3c99e6e3b965991 (patch)
tree15641572bcd28e4d7bc3b08a3bc837f3c4ae39ed /AUTHORS
parent43d81ff8669c3705ca3c61270af4a5c7218c2fe6 (diff)
downloadgunmake-8025f93312d53e0edc77677fe3c99e6e3b965991.tar.gz
For mod times farther in the future, print the value in fixed-point rather
than exponential notation (patch from Bruno Haible).
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index e6b78da..647e577 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -60,6 +60,7 @@ Other contributors:
Andreas Schwab <schwab@issan.informatik.uni-dortmund.de>
Carl Staelin (Princeton University)
Ian Stewartson (Data Logic Limited)
+ Ramon Garcia Fernandez <ramon.garcia.f@gmail.com>
With suggestions/comments/bug reports from a cast of ... well ...
hundreds, anyway :)