create a config_no_omf wrapper so we can drop the no_omf branch
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 11 Dec 2013 10:08:15 +0000 (11:08 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 11 Dec 2013 10:08:15 +0000 (11:08 +0100)
commita49f5c7b6b99fc18709ce2615875c1f456c81f03
tree2418c96c00845bb2a400a3c14ab63d60de67cc58
parentcdc7ed93df0b186be4069cd03f3f44e60ead583d
create a config_no_omf wrapper so we can drop the no_omf branch
system/Makefile
system/config_default.py
system/config_no_omf.py [new file with mode: 0644]