Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-07 22:33:46 -0800 (Mon, 07 Feb 2005)
Revision: 6628
Log message:
PackReadOnly flag was never used (we were testing for it, but never setting
it), removing.
Changes | Path |
+22 -28 | metaprl/support/shell/package_info.ml |
+0 -1 | metaprl/support/shell/shell_sig.mlz |