diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 15:49:20 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 15:49:20 +0100 |
| commit | f07880da9090ba472943a763c4d8eb6af1a7973c (patch) | |
| tree | e09e185148e20115b37293d59203fade43481f53 /src/fifa.sh | |
| parent | a75015944ef7a878254e40964cd7c1c540b9655f (diff) | |
Nicer display of the phase/worker to the user in check_depend + got entirely rid of the old, ugly way of flow control
Diffstat (limited to 'src/fifa.sh')
0 files changed, 0 insertions, 0 deletions