Closed da4089 closed 6 years ago
Deleted all the $Id$ strings. Also deleted a few noisy trailing whitespaces by accident.
Fixes #3
Deleted all the $Id$ strings. Also deleted a few noisy trailing whitespaces by accident.
Fixes #3