Skip to content

Replace makefile with a bash script - #107

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

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

Commits

  1. Commits on Jul 17, 2017