#
# ChangeLog for driver/optionsParsing.ml
#
# Generated by Trac 1.2
# Mar 5, 2021, 6:38:05 AM

Thu, 28 Mar 2013 12:49:21 GMT sacerdot [3005]
	* driver/acc.ml (moved)
	* driver/build (modified)
	* driver/options.ml (added)
	* driver/options.mli (added)
	* driver/optionsParsing.ml (added)

	Beginning of making it fully compatible with untrusted one.