Use different editor (close #4)
To bring the discussion in https://gitext.gfz-potsdam.de/swc-bb/swc-lessons/2019-11-26-potsdam-berlin/git/issues/4#note_8311 to a decision ;-) Either direction is fine, let's just decide today.
Edited by Gitlab
To bring the discussion in https://gitext.gfz-potsdam.de/swc-bb/swc-lessons/2019-11-26-potsdam-berlin/git/issues/4#note_8311 to a decision ;-) Either direction is fine, let's just decide today.