|  | b1a0212a7c | First draft * Update stats menu
* Add syntesis dashboard with numeric metrics
* Remove redundant numeric metrics from graph dashboards | 2022-02-10 17:39:23 +01:00 |  | 
			
				
					|  | 35278e9115 | Refer to print_stats.py | 2021-11-19 18:44:04 +01:00 |  | 
			
				
					|  | 5cce89f5db | Add meaningful title to hyperlinks | 2021-11-19 17:46:00 +01:00 |  | 
			
				
					|  | 1b5bcb5056 | Warn about graphics updates | 2021-11-19 17:40:47 +01:00 |  | 
			
				
					|  | f73c93db62 | Add anchors + summary | 2021-11-19 17:32:39 +01:00 |  | 
			
				
					|  | 751e587a32 | First draft | 2021-11-19 17:09:24 +01:00 |  |