Changeset 9189af2 in git for external/Hector

Timestamp:

Jul 28, 2020, 3:13:48 PM (4 years ago)

Author:

Pavel Demin <pavel.demin@…>

Branches:

master

Children:

a02a49e

Parents:

e09b9bf

Message:

remove validation directory from Makefile

(No files)