r4
							
						 
					 | 
					
						
						
							
						
						b4ca4e302f
					 | 
					
						
						
							
							move default opts to setup
						
						
						
						
						
						
					 | 
					
						2022-09-10 19:19:48 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								r4
							
						 
					 | 
					
						
						
							
						
						7edefbf281
					 | 
					
						
						
							
							add GDB support
						
						
						
						
						
						
					 | 
					
						2022-07-25 23:00:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								r4
							
						 
					 | 
					
						
						
							
						
						075173185d
					 | 
					
						
						
							
							fix bash compatibility and remove non-standard echo
						
						
						
						
						
						
					 | 
					
						2022-05-21 19:45:06 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								r4
							
						 
					 | 
					
						
						
							
						
						093b490ce0
					 | 
					
						
						
							
							allow execution from other paths
						
						
						
						
						
						
					 | 
					
						2022-05-21 19:32:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1758c6d72a
					 | 
					
						
						
							
							Make README GitHub-compatible
						
						
						
						
						
						
					 | 
					
						2022-05-21 19:01:14 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								r4
							
						 
					 | 
					
						
						
							
						
						23d6b123ed
					 | 
					
						
						
							
							add documentation and examples
						
						
						
						
						
						
					 | 
					
						2022-05-21 18:57:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								r4
							
						 
					 | 
					
						
						
							
						
						d2923b5302
					 | 
					
						
						
							
							add source
						
						
						
						
						
						
					 | 
					
						2022-05-21 17:46:02 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d7d9566540
					 | 
					
						
						
							
							Initial commit
						
						
						
						
						
						
					 | 
					
						2022-05-21 17:45:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
						
					 |