]> gitweb.michael.orlitzky.com - bash.d.git/history - makefile
compilation: process make.defaults in parent profiles, too.
[bash.d.git] / makefile
2017-12-07 Michael OrlitzkyReplace the "all" script with a makefile that construct...