myconfig

commit 8e62ce60028f211ec687d1e029d933fc74aec086
parent 461719f8e1a59c52f9efa8804a2829145bc104a4
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 19 Dec 2022 18:34:27 +0100

Merge branch 'master' of a3nm.net:git/myconfig

Diffstat:
apt/devel
 | 
5
-----
apt/devel_extra
 | 
4
++++
apt/server
 | 
1
-
apt/server_extra
 | 
1
+

4 files changed, 5 insertions(+), 6 deletions(-)
diff --git a/apt/devel b/apt/devel
@@ -3,13 +3,8 @@ javacc
 ltrace
 g++
 gdb
-gdb-doc
-cppreference-doc-en-html
-python3-doc
 
 valgrind
 #valgrind-dbg
 
-gcc-doc
-
 lsb-release
diff --git a/apt/devel_extra b/apt/devel_extra
@@ -0,0 +1,4 @@
+cppreference-doc-en-html
+python3-doc
+gcc-doc
+gdb-doc
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