diff options
| author | David Aspinall | 2011-01-31 12:12:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-31 12:12:22 +0000 |
| commit | f6e93d2ebdde09a3929e071bfe6a62992676f89c (patch) | |
| tree | 285ad09e4657260e375cddb576e55e7cde31cf9a /pgshell | |
| parent | 693c53bb867ead922124fe8c5621d947037327eb (diff) | |
Make proof-assistant-settings follow currently available dynamic settings, and keep possibly customized variables bound. Closes Trac #387.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions