diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-07 07:26:39 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-07 07:26:39 +0200 |
| commit | 813b2bba907bf2a62e1d5d58e9f362c09da7dfc1 (patch) | |
| tree | c824d2c408981d5b212bb7e6a24ae99ba6740939 /.gitignore | |
| parent | 8d7007876dbc01285616817ec261975aa520808c (diff) | |
Improvements to README, don't run save commands in examples
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions