diff options
| author | Théo Zimmermann | 2018-03-26 10:41:02 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-03-26 10:41:02 +0200 |
| commit | 092c35f88566e11562a1c10e22e551c2d635439b (patch) | |
| tree | 8a1ffc1dd5b78535a574cb23f25fd40a3a38bcab /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | d8603ba5bc093a479bc30df580f4f25709681c16 (diff) | |
Add Michael Soegtrop as a code owner for Windows build scripts.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions