diff options
| author | David Aspinall | 2009-09-08 22:53:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 22:53:15 +0000 |
| commit | 17059def7fd74c18786264d115a9ce7903317652 (patch) | |
| tree | f78ea218f365d1606197fbe15a8443365326b3bc /generic | |
| parent | 50ebfba0556876c822a607b62b86c2c1a399ea10 (diff) | |
Remove system-specific code as message before goals handled in core now. Alter proof-shell-start-goals-regexp to work in buffer.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions