equal
deleted
inserted
replaced
2 |
2 |
3 echo "[extensions]" >> $HGRCPATH |
3 echo "[extensions]" >> $HGRCPATH |
4 echo "graphlog=" >> $HGRCPATH |
4 echo "graphlog=" >> $HGRCPATH |
5 echo "rebase=" >> $HGRCPATH |
5 echo "rebase=" >> $HGRCPATH |
6 echo "mq=" >> $HGRCPATH |
6 echo "mq=" >> $HGRCPATH |
|
7 |
|
8 echo "[mq]" >> $HGRCPATH |
|
9 echo "plain=true" >> $HGRCPATH |
7 |
10 |
8 filterpatch() |
11 filterpatch() |
9 { |
12 { |
10 sed -e "s/^\(# Date\).*/\1/" \ |
13 sed -e "s/^\(# Date\).*/\1/" \ |
11 -e "s/^\(# Node ID\).*/\1/" \ |
14 -e "s/^\(# Node ID\).*/\1/" \ |