commit | 3ae0f7a7cf8c7555a654542811509d4c17b49497 | [log] [tgz] |
---|---|---|
author | Martin v. Löwis <martin@v.loewis.de> | Thu Mar 27 16:59:38 2003 +0000 |
committer | Martin v. Löwis <martin@v.loewis.de> | Thu Mar 27 16:59:38 2003 +0000 |
tree | d2b36e1ddc839caf268a549611c5b94e25907880 | |
parent | 0e85e7a636ca3b9456b1be6d04df5b00f397abac [diff] |
Replace criterium with criterion. Fixes #705120.