diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-08-07 22:13:10 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-08-07 22:13:10 +0200 |
| commit | 98ce4989222abdb7be0ab702118a56bcabbd14d8 (patch) | |
| tree | 47343be9244904ef8ce94cf4f38e646ebe5c28ef /Ports/less | |
| parent | c258c9a4b2348b85506bec201b97aeec1e4ac6e6 (diff) | |
| download | serenity-98ce4989222abdb7be0ab702118a56bcabbd14d8.zip | |
Kernel: Remove unused MemoryManager::remove_identity_mapping()
This was not actually used and just sitting there being confusing.
Diffstat (limited to 'Ports/less')
0 files changed, 0 insertions, 0 deletions