Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bug 779141 - CREATE_SUBDIRS breaks SERVER_BASED_SEARCH | albert-github | 2018-05-28 | 1 | -1/+1 |
| | | | | Added relPath also for the search (result) script (analogous to other fields in the query). | ||||
* | Marks JS as freely licensed | zachwick | 2017-08-04 | 1 | -0/+24 |
| | | | | | | | | | | | | | | | Marking the resulting JS in this way ensures that visitors to the resulting HTML documentation do not have to choose between running non-free JS and experiencing the HTML documentation as it was intended. The JS was already freely licensed, so this change just ensures that the appropriate labelling occurs so that GNU LibreJS [0] parses the JS correctly as freely licensed. [0] https://www.gnu.org/software/librejs/ Signed-off-by: zachwick <zach@zachwick.com> | ||||
* | Fix for HTML output when using server side search and the the new menu bar | Dimitri van Heesch | 2016-07-31 | 1 | -2/+6 |
| | |||||
* | Applied responsive design to menu bar using smartmenus | Dimitri van Heesch | 2016-05-05 | 1 | -0/+22 |