Commit 88a56a63 authored by thomas.forbriger's avatar thomas.forbriger
Browse files

Merge branch 'master' into ticket10: make branch up-to-date

This is a legacy commit from before 2015-03-01.
It may be incomplete as well as inconsistent.
See COPYING.legacy and README.history for details.
parents 100e9413 eb11b77b
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment