diff options
| author | Richard Braun <rbraun@sceen.net> | 2012-09-23 01:07:50 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-09-23 01:07:50 +0200 |
| commit | 19ad2bd5f22161d4fe2b089d5a5945f83ac30ad7 (patch) | |
| tree | ad8f3d8bd6a1f31372612df084576151f9b4d293 /device/device_pager.srv | |
| parent | 231bf35d3ddfee7f03055220e45633cf138ea10a (diff) | |
Add missing file for page statistics
* kern/gnumach.srv: New file.
Diffstat (limited to 'device/device_pager.srv')
0 files changed, 0 insertions, 0 deletions