equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Florian Haftmann, TUM |
3 # Author: Florian Haftmann, TUM |
5 # |
4 # |
6 # DESCRIPTION: issue code generation from shell |
5 # DESCRIPTION: issue code generation from shell |
7 |
6 |
8 |
7 |