This repository has been archived on 2024-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Mario Vavti 4d5c20ce17 fix expand-aside button hiding if aside is empty

2017-01-04 15:50:13 +01:00

..

redbasic.js

fix expand-aside button hiding if aside is empty

2017-01-04 15:50:13 +01:00