diff options
| author | Pierre-Marie Pédrot | 2015-08-22 18:05:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-08-22 20:32:04 +0200 |
| commit | 76d6a8cfb0448ade98e1a7abc92ff1bf5075fe8f (patch) | |
| tree | 68529e490f34c93a117cc1d3d35b2c5763f29e54 /kernel | |
| parent | 081a649157d2460c924404cd51b4ba50c23b1956 (diff) | |
Code cleaning in Obligations.
This commit is chiefly about moving code around to ease readability.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions