#
# ChangeLog for driver/options.ml
#
# Generated by Trac 1.2
# Mar 6, 2021, 10:42:32 AM

Thu, 28 Mar 2013 16:28:48 GMT sacerdot [3020]
	* driver/acc.ml (modified)
	* driver/options.ml (modified)
	* driver/options.mli (modified)

	- Options not used removed from the help/interface.
	- More ...


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.