diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-15 08:35:58 +0200 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-15 08:35:58 +0200 |
commit | ccb0e44f107d1d09c178620566eeefd02feb6a4e (patch) | |
tree | 000323eeb8e460661665a2c6e22a61acceae1205 /.github/for_maintainers | |
parent | c8dc6c9a247f1eb541cea90dfc6f9bfb3e0d576e (diff) |
doc review: no need 'for this'
Diffstat (limited to '.github/for_maintainers')
0 files changed, 0 insertions, 0 deletions