os: rename os_nix.v to os_nix.c.v

This commit is contained in:
Alexander Medvednikov 2020-04-11 20:43:17 +02:00
parent dc4db87be3
commit 1b6ae00966