OSDN Git Service

Merge branch 'yordan.manolov-master-patch-99092' into 'master'
authorYordan Manolov <yordan.manolov@rwth-aachen.de>
Mon, 27 Apr 2020 14:24:44 +0000 (16:24 +0200)
committerYordan Manolov <yordan.manolov@rwth-aachen.de>
Mon, 27 Apr 2020 14:24:44 +0000 (16:24 +0200)
create a file for pytest to pick something

See merge request yordan.manolov/or_project_inform!4


Trivial merge