From 3c4e401c9ee9bd837ce6446cd2ddb9b1bed40f8a Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Thu, 1 Apr 2021 00:30:44 +0200 Subject: chore(tvix/docs): move from doc Most other docs folders in the repo are called `doc` too, let's make this consistent. Change-Id: Icd712429b51763076548c977321e370f2a77877e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2741 Tested-by: BuildkiteCI Reviewed-by: tazjin --- tvix/docs/.gitignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tvix/docs/.gitignore (limited to 'tvix/docs/.gitignore') diff --git a/tvix/docs/.gitignore b/tvix/docs/.gitignore new file mode 100644 index 000000000000..77699ee8a3f7 --- /dev/null +++ b/tvix/docs/.gitignore @@ -0,0 +1,2 @@ +*.svg +*.html -- cgit 1.4.1