diff options
Diffstat (limited to 'mira/expt.cfg')
-rw-r--r--[-rwxr-xr-x] | mira/expt.cfg | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/mira/expt.cfg b/mira/expt.cfg index 416eb1d3f..416eb1d3f 100755..100644 --- a/mira/expt.cfg +++ b/mira/expt.cfg |