diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2003-06-21 20:13:06 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2003-06-21 20:13:06 +0000 |
| commit | a913022c97257157b22a18e55b11f72ab930816c (patch) | |
| tree | d2f315e22b7be0e3e1e47103dd33e8459c3143cd /Mach | |
| parent | 61fde36447af97e7a2bf8977544e7bd453d52d64 (diff) | |
Adds --with-oskit and "fixes" a bug.
Diffstat (limited to 'Mach')
0 files changed, 0 insertions, 0 deletions