|  | d1a35593cb | ServerAdministration.js: new widget | 2019-01-25 13:10:55 +01:00 |  | 
			
				
					|  | d85facd1d2 | DataStoreConfig.js: new widget | 2019-01-25 13:04:10 +01:00 |  | 
			
				
					|  | 864e85f4ff | www/OnlineHelpInfo.js: add dummy to avoid warnings | 2019-01-25 12:37:01 +01:00 |  | 
			
				
					|  | b0ee976fbf | gui: add navigation tree | 2019-01-22 11:48:00 +01:00 |  | 
			
				
					|  | 4b26195c6a | extract version from environment | 2018-12-05 14:40:45 +01:00 |  | 
			
				
					|  | 03862a2eeb | Utils.js: add code to make api3 request | 2018-12-05 12:42:18 +01:00 |  | 
			
				
					|  | e4dc0a14ac | add VersionInfo.js | 2018-12-04 17:58:40 +01:00 |  | 
			
				
					|  | 5c7a1b15c8 | start the GUI | 2018-12-04 17:53:10 +01:00 |  |