From 480dd4688b20be3b69b54043d5e5d3df713926c0 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Wed, 8 Sep 2021 19:35:23 -0700 Subject: linux: remove configurations specific to linux They are all handled by the repository `linux-desktop`. It's easier to have a different repository for this bits of configs. --- config/git/user.personal | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 config/git/user.personal (limited to 'config/git/user.personal') diff --git a/config/git/user.personal b/config/git/user.personal deleted file mode 100644 index 092c2f1..0000000 --- a/config/git/user.personal +++ /dev/null @@ -1,3 +0,0 @@ -[user] - name = Franck Cuny - email = franck@fcuny.net -- cgit 1.4.1