Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-05 18:25:52 -0800 (Tue, 05 Dec 2006)
Revision: 9819
Log message:
Updating the text of some of the recently added warning messages slightly.
Changes | Path |
+3 -3 | omake-branches/0.9.8.x/src/ir/omake_options.ml |