 Nathalie Furmento
|
9054490002
happy 2021
|
%!s(int64=4) %!d(string=hai) anos |
|
Nathalie Furmento
|
6a16f8370f
update copyright holders
|
%!s(int64=5) %!d(string=hai) anos |
|
Nathalie Furmento
|
8cc22be9f6
add missing bash call
|
%!s(int64=7) %!d(string=hai) anos |
|
Nathalie Furmento
|
fd8f48d684
tools: fix copyrights
|
%!s(int64=7) %!d(string=hai) anos |
|
Nathalie Furmento
|
aae4029d83
INRIA is now called Inria
|
%!s(int64=7) %!d(string=hai) anos |
|
Nathalie Furmento
|
551d96fc42
tools/dev: move scripts used to check code in checker sub-directory
|
%!s(int64=8) %!d(string=hai) anos |
