[ci skip] Note that CVA6 was called Ariane in the past

This commit is contained in:
abejgonzalez
2020-11-05 15:48:50 -08:00
parent 0685812c34
commit 2de5f7dd7e
4 changed files with 4 additions and 4 deletions