diff options
| author | Pierre Letouzey | 2013-11-19 17:29:39 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2013-11-19 17:29:39 +0100 |
| commit | 0495194d6040215436ebcc0533b1c05b765e1099 (patch) | |
| tree | 60b1f18c7d36e7b6b17efefa44d70d2ad95aaaa2 /kernel/vm.ml | |
| parent | 37f9f0b7bb70ca6b196dedcd6f3e031f5bbef5e3 (diff) | |
update .mailmap with my email now that I've used it in a commit
Diffstat (limited to 'kernel/vm.ml')
0 files changed, 0 insertions, 0 deletions