diff options
| author | David Aspinall | 2009-08-06 20:52:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-06 20:52:10 +0000 |
| commit | b731fe71adfdb13546a10c15b73ae4a82f60beba (patch) | |
| tree | 8886452bf4ce68b15448c59931738eacb6590774 /lib | |
| parent | bcc24dcb0258368f736dd016fdb74824c79e7b2c (diff) | |
Prevent setting of proof-overlay-arrow if not configured
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions