?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 28e37ba) | patch
Fix reentering narrowed outline
commitcd9ded92db606021620089b492737d1f32a3fcdd
authormalc <moosotc@gmail.com>
Sun, 9 Aug 2015 22:47:36 +0000 (10 01:47 +0300)
committermalc <moosotc@gmail.com>
Sun, 9 Aug 2015 22:49:24 +0000 (10 01:49 +0300)
treeb64969fb3ef6ca3dc1890ad88d3da36aa0d2eccdtree | snapshot (tar.gz zip)
parent28e37ba549a9502f23cf6e21edcf6e2df92c05c8commit | diff
Fix reentering narrowed outline

Breakage due to 3b82ef35665ef956bf6d80d3af1ad63ceff827bf. Mutability
strikes again.
main.ml diff | blob | blame | history
PDF pager