diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-16 23:57:28 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-16 23:57:28 +0000 |
commit | 91772f2dca39711b709a2651bfe68f348c9b99ad (patch) | |
tree | dc902596c81ca97097b05bfd748d12c9526201d3 /ChangeLog | |
parent | 6499807eec35fdedd84e4ee8ca4625c018652975 (diff) | |
download | open-axiom-91772f2dca39711b709a2651bfe68f348c9b99ad.tar.gz |
* TODO: Update
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 2007-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> + * TODO: Update + +2007-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> + * configure.ac.pamphlet: Don't error out if noweb source files are present when no executable is available. * configure.ac.: Regenerate. |