Remove accidentally added file (#312)

This commit is contained in:
Tim Ruffing 2019-08-11 12:04:19 +02:00 committed by Tamás Blummer
parent 7d6687451a
commit fb272160c3
1 changed files with 0 additions and 0 deletions

0
a
View File