diff options
author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-07-31 01:12:39 -0300 |
---|---|---|
committer | Diego Nieto Cid <dnietoc@gmail.com> | 2011-04-08 14:36:17 -0300 |
commit | de41d22942cadd3e7dac5e85c7e57abbf1b316dd (patch) | |
tree | 24ab07c6f01d4db0812ad1349e202425381d31c9 /doc/navigating | |
parent | da8c738584a142ca2f34cceed95ff446a97f8d6a (diff) |
Skip to main file's default section when needed.
Diffstat (limited to 'doc/navigating')
0 files changed, 0 insertions, 0 deletions