diff options
| author | Miguel Figueiredo <elmig@debianpt.org> | 2013-06-02 00:18:13 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-02 00:18:13 +0200 |
| commit | 1c1f5245bc44921082214952f8f60af118e7ad13 (patch) | |
| tree | 91df7bf5a0edb9b94da99af9edd4f7e23b88ac5f /pfinet | |
| parent | 680acd81e637a3c7d02ee6f37d90006081d34758 (diff) | |
Remove unused variable
* mach-defpager/default-pager.c : Remove unused variable.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions