Commit 28efb904 authored by Robbert Krebbers's avatar Robbert Krebbers

Ignore .vio files.

parent b90b85b0
Pipeline #586 passed with stage