diff options
| author | David Aspinall | 2012-02-08 16:33:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-02-08 16:33:10 +0000 |
| commit | 06b0e65a5b0a3bd900197af234913d58d4b2c3fc (patch) | |
| tree | d7e47048b2a8bec0bc5af240103305df47025f6e /pgshell | |
| parent | ef2ce75bdb5c78aad5ae4b2a1ff94e539fc10e0c (diff) | |
Add hol-light-prog-name, restart command.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions