Fabian Stamm 75c66227d1 changing undo size in project settings		2017-12-05 10:53:29 +01:00
..
.ropeproject	changing undo size in project settings	2017-12-05 10:53:29 +01:00
settings.json	first commit	2017-12-05 10:32:45 +01:00