May as well symlink.

Julian · Dec 16, 2024 · ef303da · ef303da
1 parent d08e540
commit ef303da
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/spec/fixtures/indent/comment.lean b/spec/fixtures/indent/comment.lean
diff --git a/spec/fixtures/indent/comment.lean b/spec/fixtures/indent/comment.lean
@@ -0,0 +1 @@
+comment.in.lean