Commit 0143cbf9 authored by Michael Kohlhase's avatar Michael Kohlhase

Merge branch 'arxmliv-release' into 'master'

Document 08.2017 arxlmiv dataset release

See merge request !1
parents d541ab62 fdf229c5
Pipeline #548 passed with stage
in 28 seconds