diff options
| author | Gaëtan Gilbert | 2018-04-14 10:50:36 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-04-17 13:45:52 +0200 |
| commit | 4bd3e129f2a27e9ff78a949fbe4b1e98776652dd (patch) | |
| tree | 14a7680f168b9c7e99c7cb5847d8a4aae3e51659 /kernel/declarations.ml | |
| parent | 4f6681a4835758a27aaade3c18c21a5fe6d283c5 (diff) | |
Assign circleci files to @SkySkimmer, @ejgallego
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions