7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
4 lines
77 B
Bash
Executable file
4 lines
77 B
Bash
Executable file
#!/bin/sh
|
|
sed -e "s/intermediate/edited/g" <"$1" >"$1-"
|
|
mv "$1-" "$1"
|
|
exit 0
|