diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 20:57:43 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 20:57:43 (EDT) |
| commit | ea8868be52ef56c342725b83cdcb59493a65d887 (patch) | |
| tree | dd37421dabaf09931cd1ec4e4d24138b0ae09716 /src/include.sh | |
| parent | 72f4009b7b1cb37cb6a28fb27d2951383ad7890a (diff) | |
`git ls-files -- src/ | xargs sed -i 's|^# lib/|# src/|'`
Diffstat (limited to 'src/include.sh')
| -rw-r--r-- | src/include.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include.sh b/src/include.sh index 9e84502..fcbf30b 100644 --- a/src/include.sh +++ b/src/include.sh @@ -1,5 +1,5 @@ # pro-archman -# lib/include.sh +# src/include.sh # Functions for including changes # # Copyright (C) 2013, 2014 Patrick "P. J." McDermott |