Skip to content

Replace makefile with a bash script#343

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

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

Commits

Commits on Aug 18, 2017