diff options
| author | Pierre-Marie Pédrot | 2019-09-28 00:02:17 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-09-28 00:02:17 +0200 |
| commit | 7e70815c2f326518c71f25fd9b222281a757572b (patch) | |
| tree | 4ebf6169eee20e8595c2f640e74606297869eeda /kernel | |
| parent | acbf569a3b9f242fd704af9124c58697b8762d0d (diff) | |
Remove the monomorphic universe libobject.
No need to keep track of it this way now that this data is part of the
kernel.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions