summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-12 18:24:52 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-12 18:24:52 +0200
commit7ece9cc9e8d86f86f907c710fa7e4d21c7fe2470 (patch)
treed7571a90ac9e360adbec3788b7e2993aea092094 /.gitignore
parentf0eb90bfbdc80633620064df47b3089457b65d67 (diff)
remove calls to vm_page_init, they are actually hurting here
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions