diff options
author | Miguel Figueiredo <elmig@debianpt.org> | 2013-05-30 00:13:40 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-05-30 00:13:40 +0200 |
commit | 14b8631823483fd26e03b5ed38b1d4125a462dd0 (patch) | |
tree | 4007e87a26dc0a24c16e3d87e84c7b8088cab71f /doc/Makefile | |
parent | 620b661325fe8ce36bafcb6afb47083d35988cea (diff) |
Remove unused variables
* mach-defpager/kalloc.c (kalloc_init): remove unused variables
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions