 Nathalie Furmento
|
9054490002
happy 2021
|
лет назад: 5 |
|
Nathalie Furmento
|
6a16f8370f
update copyright holders
|
лет назад: 6 |
|
Nathalie Furmento
|
f7abbfa6fc
update copyright
|
лет назад: 7 |
|
Nathalie Furmento
|
ae34a16056
update scripts w.r.t git
|
лет назад: 8 |
|
Nathalie Furmento
|
fd8f48d684
tools: fix copyrights
|
лет назад: 8 |
|
Nathalie Furmento
|
aae4029d83
INRIA is now called Inria
|
лет назад: 8 |
|
Nathalie Furmento
|
5b6b24ca43
tools: minor fixes
|
лет назад: 8 |
|
Nathalie Furmento
|
551d96fc42
tools/dev: move scripts used to check code in checker sub-directory
|
лет назад: 8 |
