css
|
Make server name and hostname full width.
|
2018-07-09 10:48:14 -04:00 |
graphics
|
upgrade jquery-ui to 1.12.1
|
2018-02-08 13:19:16 -05:00 |
includes
|
Center WEB_CONSOLE_BANNER
|
2018-07-06 15:59:10 -05:00 |
js
|
Misc JS hygiene (#2150)
|
2018-07-07 10:30:16 -04:00 |
views
|
spacing
|
2018-07-09 12:28:39 -04:00 |
skin.php
|
spacing and google code style
|
2017-10-12 11:43:31 -07:00 |