20jun2014 : nachlese
20jun2014 : nachlese
25jul2014 : Zwischenstand DoubleFeaturePlugin
25jul2014 : Zwischenstand DoubleFeaturePlugin
jEdit_keys.props
Merge branch 'master' of github.com:sefirot/androidStuff

Conflicts:
	BerichtsheftApp/.jedit/jars/BerichtsheftPlugin.jar