diff options
| author | David Aspinall | 2009-09-14 22:08:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 22:08:31 +0000 |
| commit | fae9a2a46ee5def106e5afb8e3facc6120191012 (patch) | |
| tree | 84dd98a2507721f5b43adaead41f349f816bdd17 /lib | |
| parent | 3f7859567fd9159daf7050fda3f5cfb57052470f (diff) | |
proof-span-give-warning: no message if inhibit-read-only is set
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions