|  | 075945a858 | Rewrite spotter-appmgr (rest of the squashmerge) | 2018-04-29 20:51:20 +02:00 |  | 
			
				
					|  | c5e55e7f2e | Rewrite spotter-appmgr (partial squashmerge) | 2018-04-29 20:48:57 +02:00 |  | 
			
				
					|  | dd5301a10d | Introduce spotter-appmgr for application, domain and port management | 2018-03-25 22:47:19 +02:00 |  | 
			
				
					|  | dc5718abbc | Bump jQuery version to 3.3.1 | 2018-03-24 16:07:20 +01:00 |  | 
			
				
					|  | 6321ca9191 | Reflect possibility to have arbitrary properties in Portal | 2017-12-03 22:46:23 +01:00 |  | 
			
				
					|  | a7cb384b16 | Add portal icons for GNU Health, closes #124 | 2017-12-02 00:53:07 +01:00 |  | 
			
				
					|  | 0fdc256b29 | Simplify logic of displaying Portal cards | 2017-10-14 11:23:41 +02:00 |  | 
			
				
					|  | ddf8498896 | Small portal adjustments for mobile devices | 2017-09-14 22:41:45 +02:00 |  | 
			
				
					|  | 9a1571ed86 | Rework portal and add portal-app-manager.py | 2017-09-14 21:39:01 +02:00 |  |