docs/diploma

diff thesis/scripts/improve-index.awk @ 394:7d85fd0da3df

remove further shortcuts
author meillo@marmaro.de
date Sat, 07 Feb 2009 12:06:30 +0100
parents 6477e7827617
children e57129f57faa
line diff