hydra

866 commits 1 branch 0 tags 20 MiB

Author	SHA1	Message	Date
Eelco Dolstra	82d17a2d0b	Rename hydra_.pl to hydra- The underscores are ugly and the .pl extension is an implementation detail that shouldn't be visible to the outside. Also, get rid of the *.in files. It's not really necessary to generate them. And I was always modifying the wrong file.	2011-11-30 18:14:48 +01:00

Author

SHA1

Message

Date

Eelco Dolstra

82d17a2d0b

Rename hydra_*.pl to hydra-*

The underscores are ugly and the .pl extension is an implementation
detail that shouldn't be visible to the outside.

Also, get rid of the *.in files.  It's not really necessary to
generate them.  And I was always modifying the wrong file.

2011-11-30 18:14:48 +01:00

Renamed from tests/evaluation-tests.pl.in (Browse further)

1 commit