| commit | ed047486f5dd79cb594ef100362fe04ab1ef3e0a | [log] [tgz] |
|---|---|---|
| author | Johannes Gijsbers <jlg@dds.nl> | Mon Aug 30 15:03:23 2004 +0000 |
| committer | Johannes Gijsbers <jlg@dds.nl> | Mon Aug 30 15:03:23 2004 +0000 |
| tree | 9b9185d77b9e27931a27af09efc6de9fc6c45640 | |
| parent | 5ae9743ea63a13006d98020f3410ec73bea8c31a [diff] |
Fix build error: \filename{/dev/urandom} -> \file{/dev/urandom}.