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.work | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 config/git/user.work (limited to 'config/git/user.work') diff --git a/config/git/user.work b/config/git/user.work deleted file mode 100644 index d95b398..0000000 --- a/config/git/user.work +++ /dev/null @@ -1,3 +0,0 @@ -[user] - name = Franck Cuny - email = fcuny@twitter.com -- cgit 1.4.1