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

remove further shortcuts
author meillo@marmaro.de
date Sat, 07 Feb 2009 12:06:30 +0100
parents d51894e48762
children e57129f57faa
comparison
equal deleted inserted replaced
393:6494832a798c 394:7d85fd0da3df