From fc406c25e311a203942a89ae73522375a05e2cec Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Mon, 23 May 2022 19:34:16 -0700
Subject: ref(notes): remove unneeded files for my notes

In a monorepo setup, the CI configuration is not used at this level of
the tree, and the gitignore/envrc are not relevant.
---
 users/fcuny/notes/.envrc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 users/fcuny/notes/.envrc

(limited to 'users/fcuny/notes/.envrc')

diff --git a/users/fcuny/notes/.envrc b/users/fcuny/notes/.envrc
deleted file mode 100644
index 3550a30..0000000
--- a/users/fcuny/notes/.envrc
+++ /dev/null
@@ -1 +0,0 @@
-use flake
-- 
cgit 1.4.1