diff options
author | 2012-08-16 15:01:05 +0000 | |
---|---|---|
committer | 2012-08-16 15:01:05 +0000 | |
commit | d1dbb1bb03f777f744774b353b13b3cf2d11bf5f (patch) | |
tree | 4544c59fbd97b3d276456867d1b50173276082af /BUGS | |
parent | 3ace4262f67f259cba60338db8718d134c2c237c (diff) |
Add option proof-layout-windows-on-visit-file, addressing Trac #444
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions