markm bf42c18253 Turn the /dev/random device into a (pseudo-)device, not an option. ...

(I didn't realise that it was this easy!)
Submitted by:	jhb

2000-09-12 13:21:40 +00:00

..

GENERIC

Turn the /dev/random device into a (pseudo-)device, not an option.

2000-09-12 13:21:40 +00:00

GENERIC.hints

…

gethints.pl

Report the line number where gethints.pl does not understand something

2000-06-26 09:08:23 +00:00

NOTES

Turn the /dev/random device into a (pseudo-)device, not an option.

2000-09-12 13:21:40 +00:00

SIMOS

LINT -> NOTES

2000-09-09 16:07:15 +00:00