]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
compilation: process make.defaults in parent profiles, too.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 21 Jan 2018 00:22:15 +0000 (19:22 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 21 Jan 2018 00:22:15 +0000 (19:22 -0500)

No differences found