diff configure @ 622:765bb3774c4f tonioni

small changes to FlexiNote stuff
author matthiasm
date Tue, 26 Mar 2013 17:00:45 +0000
parents 7ac63919fd52
children 2146130d1236
line wrap: on
line diff