diff options
author | deva <deva> | 2011-04-12 10:09:07 +0000 |
---|---|---|
committer | deva <deva> | 2011-04-12 10:09:07 +0000 |
commit | cb6c72436d96cc85d3442aeaf25ead4245420f8d (patch) | |
tree | 43d5a3d88f10bc2665efe8437bd64e1733bbb762 /design/pml.tex | |
parent | a476471aad6d6ad48d13d4f05b3e83cdfaea09ab (diff) |
Bugfix: Hide header and expand button if macro is static.
Diffstat (limited to 'design/pml.tex')
0 files changed, 0 insertions, 0 deletions