![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
Summary
- fix: global menu (commit: a6f053a) (details)
| The file was added | application/static/js/jquery-3.3.1.min.js |
| The file was removed | application/static/css/dariah.css |
| The file was modified | application/testing.py (diff) |
| The file was added | application/static/css/styles.css |
| The file was modified | application/templates/layout.html (diff) |
| The file was modified | application/schema.sql (diff) |
| The file was modified | application/templates/document.html (diff) |
| The file was modified | application/static/js/globalmenu.js (diff) |
| The file was added | application/static/js/script.js |
| The file was removed | application/static/js/dariah.js |
| The file was removed | application/static/js/jquery.js |