Sun, 27 Oct 2019 19:20:41 +0100
Editor, Previewer:
- made the preview refresh timeout configurable
7318
5d39cd2d7960
Editor, Previewer:
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
7314
diff
changeset
|
1 | (binary:application/octet-stream) |