Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						7d1298ca7a
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-18 18:28:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						fa44220edf
					 | 
					
						
						
							
							Fix search links
						
						
						
						
						
						
					 | 
					
						2022-01-18 18:17:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						ce1c683b99
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-18 03:05:33 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						3fc2946ceb
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-18 01:05:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						8a8dc30d15
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-31 23:24:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						7ee4a10e87
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-31 18:37:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						dc69b48b41
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-31 03:56:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						e4725abd74
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-30 04:02:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						33a9190df8
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-18 17:29:18 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						e81cae09c6
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-15 02:41:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						22388bed8f
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-15 00:27:35 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						58420a7ed8
					 | 
					
						
						
							
							Incorporate feedback
						
						
						
						
						
						
					 | 
					
						2021-12-13 03:02:53 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						f5af1ea569
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-12-08 20:16:16 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						fa93b5df66
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-11-29 15:51:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						cbf4126772
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-11-22 21:16:27 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						a3ede74fd3
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-11-22 21:15:50 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						33141946ba
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-11-20 18:17:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						d631dcaff2
					 | 
					
						
						
							
							Add type
						
						
						
						
						
						
					 | 
					
						2021-11-20 18:10:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						75cc5563c7
					 | 
					
						
						
							
							Fix the replacement path
						
						
						
						
						
						
					 | 
					
						2021-11-20 17:54:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						95b8b123d7
					 | 
					
						
						
							
							Make script compatible with earlier versions of Python
						
						
						
						
						
						
					 | 
					
						2021-11-20 17:50:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						8770c691e6
					 | 
					
						
						
							
							Escape sequences
						
						
						
						
						
						
					 | 
					
						2021-11-20 17:29:56 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						0f91704180
					 | 
					
						
						
							
							Make links prettier
						
						
						
						
						
						
					 | 
					
						2021-11-20 17:22:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						012872d405
					 | 
					
						
						
							
							Remove Netlify
						
						
						
						
						
						
					 | 
					
						2021-11-20 15:10:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						e9dec32952
					 | 
					
						
						
							
							Remove section numbers
						
						
						
						
						
						
					 | 
					
						2021-11-20 15:05:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						511510ef1b
					 | 
					
						
						
							
							Run mdBook better
						
						
						
						
						
						
					 | 
					
						2021-11-20 04:24:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						e1128ae5d2
					 | 
					
						
						
							
							Download mdBook if it doesn't exist better
						
						
						
						
						
						
					 | 
					
						2021-11-20 04:22:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						9bf49a225d
					 | 
					
						
						
							
							Download mdBook if it doesn't exist
						
						
						
						
						
						
					 | 
					
						2021-11-20 04:21:31 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						121e22d2c5
					 | 
					
						
						
							
							Merge branch 'mdbook' into 'master'
						
						
						
						
						
						
						
						Migrate to mdBook
See merge request stavros/notes!1 
						
						
					 | 
					
						2021-11-20 02:13:37 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						4caaff6c90
					 | 
					
						
						
							
							Migrate to mdBook
						
						
						
						
						
						
					 | 
					
						2021-11-20 02:13:37 +00:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						208653eb0d
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-11-15 01:55:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						bb44b5a9e1
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-31 00:20:55 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						62593de5d9
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-31 00:17:05 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						11754e4cae
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-30 23:50:49 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						20ca1ad144
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-30 23:49:10 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						db40b325bb
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-30 23:48:00 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						c4d1797211
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-30 23:46:46 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						8ed090b02d
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-29 23:51:31 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						497eb6f71c
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-20 19:14:02 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						2049f7f464
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-19 00:00:44 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						d5d8d00270
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-10-18 17:38:14 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						cca424050e
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-22 13:05:46 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						86deb922ed
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-12 00:23:57 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						e2c2dbe2f1
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-11 15:24:54 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						2096948745
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-11 15:24:12 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						82bfd32ff4
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-09 16:10:11 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						dcb9794467
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-09 01:38:58 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						c4449d0607
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-09 00:52:09 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						c09fa295bc
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-08 20:52:45 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						dade517fba
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-07 15:15:14 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						f5b16d97f3
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2021-09-07 15:14:44 +03:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |