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 /src/lib/common.sh.tail | |
parent | 2e798795833af72ba0618f5577f15488b201b0fa (diff) |
Expect devtools files to already be patched.
Diffstat (limited to 'src/lib/common.sh.tail')
-rw-r--r-- | src/lib/common.sh.tail | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/common.sh.tail b/src/lib/common.sh.tail deleted file mode 100644 index e133fad..0000000 --- a/src/lib/common.sh.tail +++ /dev/null @@ -1 +0,0 @@ -fi |