diff --git a/util/vendor/.nosearch b/util/vendor/.nosearch new file mode 100644 index 0000000..e69de29 diff --git a/util/ert.el b/util/vendor/ert.el similarity index 100% rename from util/ert.el rename to util/vendor/ert.el