Sun, 05 Nov 2017 11:35:32 +0100
Changed the search widget used in the documentation viewer (and other places) to allow to save width but make it higher.
5959
4c716b02e10d
Changed the search widget used in the documentation viewer (and other places) to allow to save width but make it higher.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
5928
diff
changeset
|
1 | (binary:application/octet-stream) |