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/dir.sh | |
| parent | 72f4009b7b1cb37cb6a28fb27d2951383ad7890a (diff) | |
`git ls-files -- src/ | xargs sed -i 's|^# lib/|# src/|'`
Diffstat (limited to 'src/dir.sh')
| -rw-r--r-- | src/dir.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ # pro-archman -# lib/dir.sh +# src/dir.sh # Miscellaneous directory-related functions # # Copyright (C) 2013 Patrick "P. J." McDermott |