Removed quint tests files