Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-13 18:55:40 -0700 (Fri, 13 May 2005)
Revision: 1022
Log message:
Slight change: use cache/<hostname>/ instead of <hostname>-cache/
Changes | Path |
+11 -9 | omake/src/ir/omake_state.ml |
+0 -8 | omake/src/ir/omake_state.mli |