|  Thomas Waldmann | 12f55f4e9f
							
							Merge branch '1.0-maint' | 9 years ago | 
				
					
						|  Thomas Waldmann | 740c638030
							
							update usage files | 9 years ago | 
				
					
						|  Marian Beermann | 0a369c0985
							
							Better help texts and Sphinx reproduction of usage | 9 years ago | 
				
					
						|  Thomas Waldmann | cece7f9e6d
							
							merged 1.0-maint into master | 9 years ago | 
				
					
						|  Thomas Waldmann | d5d037b97d
							
							ran build_api build_usage | 9 years ago | 
				
					
						|  Daniel Reichelt | 9adf13d8b9
							
							add changes from running build_api and build_usage | 9 years ago | 
				
					
						|  Thomas Waldmann | f7abff87f9
							
							ran build_usage | 10 years ago | 
				
					
						|  Antoine Beaupré | 8e36075fe9
							
							commit usage files directly into git | 10 years ago |