No description

This repository has been archived on 2026-03-28. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

maartenkeijzer ebca71e228 NDSorting: changed exact ranking values to make check for front easier ... eoRNG: changed nothing (did some debugging)		2001-03-26 10:09:40 +00:00
CVSROOT	initial checkin	2000-08-15 21:15:36 +00:00
eo	NDSorting: changed exact ranking values to make check for front easier	2001-03-26 10:09:40 +00:00