2008-07-27 | John Darrington | Constness |
commit | commitdiff | tree |
2008-07-27 | John Darrington | Changed the default WORKSPACE value to 64MB. |
commit | commitdiff | tree |
2008-07-26 | John Darrington | Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv... |
commit | commitdiff | tree |
2008-07-26 | John Darrington | Merge with recent change by Jason. |
commit | commitdiff | tree |
2008-07-26 | John Darrington | Removed the value_cnt associated with the caseordering |
commit | commitdiff | tree |