comparison configure @ 176:8b191f5ee653

sempre paper: merged my changes and some other small ones into the original text
author gyorgyf
date Sun, 09 Feb 2014 18:33:33 +0000
parents 7d0d0cd59adb
children 56109ef020b4 ffd1a89a68fa
comparison
equal deleted inserted replaced
175:26224791546f 176:8b191f5ee653