Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						a6fdd3932c
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-03-04 00:44:38 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						9cf3e88dd8
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-03-04 00:36:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						1ac50a9d79
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-03-01 00:25:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						1a5b9df97b
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-02-16 19:30:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						d00c1b8eae
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-26 10:52:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						a67c6bc1ed
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-22 03:01:20 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						7684b86d29
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-21 18:25:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stavros Korokithakis
							
						 
					 | 
					
						
						
							
						
						a04b911ddc
					 | 
					
						
						
							
							Updates
						
						
						
						
						
						
					 | 
					
						2022-01-18 20:21:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |