diff options
| author | Hendrik Tews | 2011-03-14 09:29:48 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-03-14 09:29:48 +0000 |
| commit | 5b3f191a9b989bd68bee27ce84aeeeb9fa1060fd (patch) | |
| tree | 3b966cb4659b485bead02403739fc9560174cd72 /pgshell | |
| parent | dfb79401d8ea75588305c6e9789895c9c646e76b (diff) | |
- change to proof-restart-buffers for unlocking ancestors
- improve internal docs for unlocking
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions