Merge pull request #1355 from MartinNowak/fix_ddox_2071
bump min frontend for ddox to 2.072
commit 785a0b2fb7fee298bf42b9191c59ec80776d59ce
2 parents 2f5b644 + 858c4b9
@Martin Nowak Martin Nowak authored on 27 Jan 2018
GitHub committed on 27 Jan 2018
Showing 1 changed file
View
test/ddox.sh.min_frontend