- 30 Oct, 2014 2 commits
-
-
Fabian Heidemann authored -
asseldonk authored
-
- 29 Oct, 2014 5 commits
-
-
asseldonk authored
-
Fabian Heidemann authored
-
asseldonk authored
-
asseldonk authored
-
asseldonk authored
-
- 28 Oct, 2014 2 commits
- 26 Oct, 2014 1 commit
-
-
Benjamin Fischer authored
-
- 23 Oct, 2014 5 commits
-
-
Benjamin Fischer authored
-
Fabian Heidemann authored
-
asseldonk authored
-
asseldonk authored
-
Fabian Heidemann authored
-
- 22 Oct, 2014 4 commits
-
-
Benjamin Fischer authored
-
asseldonk authored
-
asseldonk authored
-
Marcel Rieger authored
-
- 21 Oct, 2014 6 commits
-
-
ThorbenQuast authored
-
ThorbenQuast authored
Problem is: mtime from saving is sometimes not equal to the mtime returned by the websocket
-
Fabian Heidemann authored
-
ThorbenQuast authored
-
asseldonk authored
-
Gero Müller authored
-
- 20 Oct, 2014 2 commits
-
-
Fabian Heidemann authored
-
Fabian Heidemann authored
-
- 18 Oct, 2014 7 commits
-
-
Benjamin Fischer authored
workspace.ini reader: avoid polling by implementing a workspace-global watch emitting a message on changes or deletion/renaming
-
asseldonk authored
-
Benjamin Fischer authored
-
Benjamin Fischer authored
-
Benjamin Fischer authored
-
Benjamin Fischer authored
Also retrieve a merge workspace.ini (global & user specific) as requested in ref #1914
-
asseldonk authored
-
- 17 Oct, 2014 6 commits