🔖 set version to 3.1.0
- updated documentation wrt. new repository layout - temporarily switched off Homebrew --HEAD building (can only be switched on after release) - set copyright date to 2018
This commit is contained in:
		
							parent
							
								
									ce7d0ebf5d
								
							
						
					
					
						commit
						0258484626
					
				
					 301 changed files with 431 additions and 366 deletions
				
			
		|  | @ -1 +1 @@ | |||
| <a target="_blank" href="https://wandbox.org/permlink/qrMPH8rv4FBqE2Ri"><b>online</b></a> | ||||
| <a target="_blank" href="https://wandbox.org/permlink/YrUqrUFMD7JHwSQR"><b>online</b></a> | ||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue