diff options
| author | Théo Zimmermann | 2018-11-22 14:03:02 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-22 14:03:02 +0100 |
| commit | 1c38b7d65ec302ec2dff94df4b13db33c4d3393e (patch) | |
| tree | fbd789130c80e1ae746f7cd83f2a2c307c4ad730 /dev/dynlink.ml | |
| parent | cca54c53b4324e0b4630ba9da2d48a117252cece (diff) | |
New code owner team parsing-maintainers.
Diffstat (limited to 'dev/dynlink.ml')
0 files changed, 0 insertions, 0 deletions