equal
deleted
inserted
replaced
1 # -*- shell-script -*- |
1 # -*- shell-script -*- :mode=shellscript: |
2 # |
2 # |
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # timestart - setup bash environment for timing. |
5 # timestart - setup bash environment for timing. |
6 # |
6 # |