diff options
| author | Théo Zimmermann | 2019-04-10 17:52:04 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-10 17:52:04 +0200 |
| commit | ddf6dffe7d9afe635d32c41336345812f7c71139 (patch) | |
| tree | 50b87d672b35e40ba8692c2e11bc6694b6b51187 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | b177e7b9991e81ec3c9c145f04ca3a896f756fd9 (diff) | |
| parent | e0c492102b5a625f2122faa9912f4d19b950cd22 (diff) | |
Merge PR #9943: [mailmap] Tweak Emilio's entries.
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions