diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2010-11-25 12:31:30 +0100 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2010-11-25 12:31:30 +0100 |
commit | adf6755da0ed4a18fee1d7f871ea307043d72620 (patch) | |
tree | 544d89bec9fa5aa66afc7908f1a59e8098cec255 /sandbox/texinfo.texi | |
parent | 1e67a761cbfa94a69cec2f5709d23d7983cd0fc1 (diff) |
open_issues: Add headings.
Diffstat (limited to 'sandbox/texinfo.texi')
0 files changed, 0 insertions, 0 deletions