diff options
| author | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-17 15:12:18 +0200 |
|---|---|---|
| committer | Ulrich Bauer <ulrich.bauer@tum.de> | 2016-07-17 16:22:51 +0200 |
| commit | 6cacc0520b9cf95eae9855a00209219d0b6faedf (patch) | |
| tree | f9a8041d9623ea69f27793c2bdfcb1ff3b39e75c /README.md | |
| parent | ae581881d2c36d276a42f58bc3f6dc637f45ed47 (diff) | |
rearranged compile time options
made PRINT_PERSISTENCE_PAIRS default
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions