Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							5e54920160
							
						
					 | 
					
						
						
							
							;regen embedded manuals
						
						
						
						
						
					 | 
					
						2019-05-23 22:26:43 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							0cd5545e26
							
						
					 | 
					
						
						
							
							regen cabal files/manuals
						
						
						
						
						
						
						
						[ci skip] 
						
					 | 
					
						2019-03-01 16:17:25 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							21fac53954
							
						
					 | 
					
						
						
							
							doc: regen manuals
						
						
						
						
						
						
						
						[ci skip] 
						
					 | 
					
						2019-02-11 14:15:44 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							f9b85a1d4c
							
						
					 | 
					
						
						
							
							update embedded docs
						
						
						
						
						
					 | 
					
						2019-02-01 17:23:12 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							3cf21190c0
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2019-01-05 07:35:54 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							40713ee7aa
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-12-02 17:26:18 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							862fb873b4
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-10-06 09:42:27 -10:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							7bc500ccd2
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-09-30 20:08:15 -10:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							d461e96c34
							
						
					 | 
					
						
						
							
							doc: update manuals harder, they should say 1.10.99
						
						
						
						
						
						
						
						[ci skip] 
						
					 | 
					
						2018-07-04 15:09:57 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							4f40467d86
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-07-04 13:33:27 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							91c487d4c2
							
						
					 | 
					
						
						
							
							doc: manuals: update version strings
						
						
						
						
						
					 | 
					
						2018-07-04 12:52:29 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							22f2e90a4b
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-06-30 22:08:48 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							3a3829ac0f
							
						
					 | 
					
						
						
							
							doc: regen embedded manuals
						
						
						
						
						
					 | 
					
						2018-04-20 06:48:26 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							027abcabe6
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-03-31 19:15:24 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							a0d765edb5
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2018-01-04 10:19:27 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							6ccabe3b48
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2017-12-31 10:22:09 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							07596b1c54
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2017-12-22 10:13:38 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							302ee50bfe
							
						
					 | 
					
						
						
							
							update embedded manuals
						
						
						
						
						
					 | 
					
						2017-12-07 12:04:11 -08:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							968cff7a4a
							
						
					 | 
					
						
						
							
							remove numbers from all but nroff filenames
						
						
						
						
						
					 | 
					
						2017-12-06 18:35:18 -08:00 | 
					
					
						
						
							
							
							
						
					 |