| changeset 48858 | 86816c61b5ca |
| parent 42124 | 7519c7c33017 |
| 48857:9032f4bdf205 | 48858:86816c61b5ca |
|---|---|
22 $description = $1; |
22 $description = $1; |
23 } |
23 } |
24 } |
24 } |
25 close FILE; |
25 close FILE; |
26 if (defined($description)) { |
26 if (defined($description)) { |
27 push(@tools, " $name - $description\n"); |
27 push(@tools, " $name - $description\n"); |
28 } |
28 } |
29 } |
29 } |
30 } |
30 } |
31 } |
31 } |
32 closedir DIR; |
32 closedir DIR; |