table: rename atypes.v to types.v now that the order of the files is irrelevant

pull/6926/head
Alexander Medvednikov 2020-11-23 18:19:51 +01:00
parent 07fae5adf6
commit e0d64903f8
2 changed files with 0 additions and 0 deletions