css
|
add CSS file for PBS ExtJS6 basic ui
|
2019-12-17 11:20:32 +01:00 |
images
|
fix file download, listen to 0.0.0.0
|
2018-12-01 15:21:25 +01:00 |
Application.js
|
api2/access.rs: add ticket api
|
2019-01-30 15:16:10 +01:00 |
Logo.js
|
start the GUI
|
2018-12-04 17:53:10 +01:00 |
MainView.js
|
ui: main init: set username info
|
2019-12-17 13:00:17 +01:00 |
Makefile
|
add CSS file for PBS ExtJS6 basic ui
|
2019-12-17 11:20:32 +01:00 |
NavigationTree.js
|
DataStoreConfig.js: new widget
|
2019-01-25 13:04:10 +01:00 |
Subscription.js
|
GUI: fix borders
|
2019-04-11 12:18:04 +02:00 |
SystemConfiguration.js
|
GUI: fix borders
|
2019-04-11 12:18:04 +02:00 |
Utils.js
|
Utils.js: fix cookie handling
|
2019-01-31 10:08:08 +01:00 |
VersionInfo.js
|
rename api3 back to api2
|
2019-01-22 12:10:38 +01:00 |