myconfig

commit 27df19e1fd1b4b7ea1b51c1019f68567ced4d725
parent 1da3a5f3659bdf70533c725c948feb6839ac68d6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 14 Dec 2022 09:31:16 +0100

apt

Diffstat:
apt/devel
 | 
1
-
apt/server
 | 
1
-
apt/server_extra
 | 
1
+

3 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/apt/devel b/apt/devel
@@ -4,7 +4,6 @@ ltrace
 g++
 gdb
 gdb-doc
-cppreference-doc-en-html
 python3-doc
 
 valgrind
diff --git a/apt/server b/apt/server
@@ -102,7 +102,6 @@ borgbackup
 dfc
 gsfonts-other
 easy-rsa
-hopenpgp-tools
 tcplay # truecrypt alternative
 
 syncthing # used on the phone
diff --git a/apt/server_extra b/apt/server_extra
@@ -0,0 +1 @@
+hopenpgp-tools