Skip to content

Replace makefile with a bash script#107

Closed
dnephin wants to merge 4 commits intodocker:masterfrom
dnephin:improve-makefile-bash
Closed

Replace makefile with a bash script#107
dnephin wants to merge 4 commits intodocker:masterfrom
dnephin:improve-makefile-bash

Commits

Commits on Jul 17, 2017