This repository has been archived on 2024-10-17. You can view files and clone it, but cannot push or open issues or pull requests.

Pierre Labastie e5987084e6 Fix optimization configuraiton files		2013-11-17 22:24:11 +00:00
..
opt_config.d	Commit Pierre Labastie's patch for including package management support in jhalfs. NOTE: Package management is by default disabled.	2012-02-01 23:29:37 +00:00
opt_config	Fix optimization configuraiton files	2013-11-17 22:24:11 +00:00
opt_override	Fix optimization configuraiton files	2013-11-17 22:24:11 +00:00
optimize_functions	Exit without error if the user answers no	2013-11-16 10:00:16 +00:00