From 3003b268510225922f0774bbd6c665b87582f2db Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Sun, 12 Mar 2017 17:13:01 +0000 Subject: [PATCH] Dialog 'vor dem Schliessen speichern' wenn Aenderungen gemacht wurden auch fuer CodeMirror --- 0 files changed, 0 insertions(+), 0 deletions(-) -- Gitblit v1.9.3