Skip to content

Streamline local and ci environments#32

Open
dmlemos wants to merge 1 commit intoPhilipTrauner:masterfrom dmlemos:add_makefile

Commits

Commits on Oct 15, 2019