diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-23 18:11:15 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-23 18:11:15 +0100 |
commit | cf29f4a485d06469d17c6d12d306901fa3c5ab36 (patch) | |
tree | b7e4595967f88e116f49c4e8a15a8d798bd8432c /scripts | |
parent | e1c8edc4b148331083f53c7c3d34766190bb6d99 (diff) |
Shorter headers in sphinx: Introduced in -> Since and Copyright -> License
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions