From e080909ba700a9eda1ca0e1c2a355649d1b46f82 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 7 Jun 2019 11:05:14 -0700 Subject: [PATCH] chore(gen/apply): move to `script` --- {gen => script}/apply.lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {gen => script}/apply.lean (100%) diff --git a/gen/apply.lean b/script/apply.lean similarity index 100% rename from gen/apply.lean rename to script/apply.lean