diff options
| author | gdt <gdt> | 2004-01-05 17:55:46 +0000 |
|---|---|---|
| committer | gdt <gdt> | 2004-01-05 17:55:46 +0000 |
| commit | cb42c035cc75a9e0cddc08e1c92e3ddfad9cb916 (patch) | |
| tree | 0fc66518936102093980f51b33607ba9688f803f /tools/rrcheck.pl | |
| parent | da26e3b6549e5e8a460b62ac02ed854685f6200d (diff) | |
Fix incorrect test in previous commit; thanks to Sowmini Varadhan for
catching this.
Diffstat (limited to 'tools/rrcheck.pl')
0 files changed, 0 insertions, 0 deletions