diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:10:16 (EDT) |
| commit | e485e67e0234ec54a61f2699fd0e77c0d6e0a5b5 (patch) | |
| tree | c17ec8461b1be657f21eeb8007d16fcf2754d91d /man/local.mk | |
| parent | ecf4dead3377eeca130af6983524569817337a51 (diff) | |
`git ls-files | xargs sed -i 's/\.sm/.sho/g'`
Diffstat (limited to 'man/local.mk')
0 files changed, 0 insertions, 0 deletions