diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-07-18 10:28:08 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-07-18 10:28:08 (GMT) |
| commit | d25dda121501e9cc36b43c15c76d1e00d0173f7d (patch) | |
| tree | 067b16b039f2f084e2cbad0120265b131ead0057 /src/analysis/roptions.h | |
| parent | 3ea00253fa74017ce82bb72d5e11414ab5ee7101 (diff) | |
Restored the saving proposal at exit.
Diffstat (limited to 'src/analysis/roptions.h')
0 files changed, 0 insertions, 0 deletions