|
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
|
make export work and fix links to jquery.js
|
2018-07-12 14:07:03 -04:00 |
|
js
|
remove unneeded packaging files from chosen.
|
2018-07-12 11:35:02 -04:00 |
|
views
|
use a unique connection key for downloads
|
2018-07-12 14:07:19 -04:00 |
|
skin.php
|
spacing and google code style
|
2017-10-12 11:43:31 -07:00 |
