log

age author description
Sun, 26 Dec 2010 15:52:56 -0500 Adam Chlipala Expose buffer type for other C libraries; replace minusSeconds with addSeconds