diff options
author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-02-15 18:55:25 -0500 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-04-11 13:02:27 -0400 |
commit | 74067d389c204cd40906980391680724380667c0 (patch) | |
tree | 654f7aaed07e8fe019893337256929db87a017a1 /GNUmakefile | |
parent | 2e798795833af72ba0618f5577f15488b201b0fa (diff) |
Expect devtools files to already be patched.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions