[mono-api-html] Make --ignore-changes-virtual less lenient.
[mono.git] / notes /
drwxr-xr-x   ..
-rw-r--r-- 364 cil