diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-03-30 11:28:51 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-02 10:38:21 -0400 |
| commit | 4b75d2b98036195b78d339210ab8d7512d9f2164 (patch) | |
| tree | f7de0e91372f760ab8972c5e280023d57abb6b91 /config/config.py | |
| parent | cb0dda981282df08c544e235f0fefb077268272c (diff) | |
Added option to ignore environment issues and rewrote part of the generation scripts for easier generator creation.
Diffstat (limited to 'config/config.py')
0 files changed, 0 insertions, 0 deletions