mirror of
git://git.gnupg.org/gnupg.git
synced 2025-02-01 16:33:02 +01:00
*** empty log message ***
This commit is contained in:
parent
3e2c46af6b
commit
e8191d398e
@ -11,8 +11,8 @@ set -e
|
||||
extract_date () {
|
||||
# This strange construct is to speed up things. Grouping a "s" and a "q"
|
||||
# does not work. Anyway we should use awk instead.
|
||||
sed '/^.*\$Id$.*$/q' $1 |
|
||||
sed -n 's!^.*\$Id$!\1-\2-\3 \4!p'
|
||||
sed '/^.*\$\[I\]d:.*\$.*$/q' $1 |
|
||||
sed -n 's!^.*\$\[I\]d: [^ ]\+ [^ ]\+ \([0-9]*\)/\([0-9]*\)/\([0-9]*\) [^ ]\+ \([^ ]\+\).*$!\1-\2-\3 \4!p'
|
||||
}
|
||||
|
||||
# We have to edit most files
|
||||
|
Loading…
x
Reference in New Issue
Block a user