diff options
| author | Søren Sandmann Pedersen <sandmann@daimi.au.dk> | 2005-05-17 16:11:26 +0000 |
|---|---|---|
| committer | Søren Sandmann Pedersen <sandmann@daimi.au.dk> | 2005-05-17 16:11:26 +0000 |
| commit | 03d31637787906378bc2809758b6dbfe79ea55ad (patch) | |
| tree | 24a87bfbb7d8a056fbdbc1cd6b88612d5bbbeb33 /src | |
| parent | 7d85687a6d8319ac1a48e0294228632ffbefdc8a (diff) | |
Remove rest of half-removed if statement
remove irrelevant entries
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions