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/cmd/remove.sh | |
| parent | 72f4009b7b1cb37cb6a28fb27d2951383ad7890a (diff) | |
`git ls-files -- src/ | xargs sed -i 's|^# lib/|# src/|'`
Diffstat (limited to 'src/cmd/remove.sh')
| -rw-r--r-- | src/cmd/remove.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/remove.sh b/src/cmd/remove.sh index 7747aac..c4fb1b9 100644 --- a/src/cmd/remove.sh +++ b/src/cmd/remove.sh @@ -1,5 +1,5 @@ # pro-archman -# lib/cmd/remove.sh +# src/cmd/remove.sh # "remove" command # # Copyright (C) 2013 Patrick "P. J." McDermott |