diff options
| author | Pierre-Marie Pédrot | 2019-06-25 20:57:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-07-08 20:47:26 +0200 |
| commit | d929838be77e30db04cd91201542bb52ed3ff7fd (patch) | |
| tree | 81a49bd4863424b841963f46025409396756d0bf /dev | |
| parent | 75de485c233dd7bbb6301b49e6702eee205977fb (diff) | |
Similar purity invariants in the kernel.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions