|  | 0d0305cf04 | Fix bug that prevented the active page from being marked in nav | 2018-02-13 14:53:33 +01:00 |  | 
			
				
					|  | 7dbce0bd24 | Add webmail to navbar, add generalized navbar to /om | 2017-11-13 20:35:25 +01:00 |  | 
			
				
					|  | 53aec5edf5 | Prevent double slashes at the end of URL | 2017-11-11 15:44:23 +01:00 |  | 
			
				
					|  | 6574bd576e | Generalize navigation and PHP configuration | 2017-11-11 15:20:58 +01:00 |  |