Merge pull request #6956 from Daniel-Diaz/master

Add hetzner package
This commit is contained in:
Andreas Ländle 2023-04-25 13:53:44 +02:00 committed by GitHub
commit 6cd7f486ff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1272,7 +1272,7 @@ packages:
- text-format # needed by liquid-fixpoint
- liquid-fixpoint
"Daniel Casanueva <dhelta.diaz@gmail.com> @Daniel-Diaz":
"Daniel Casanueva <daniel.casanueva@proton.me> @Daniel-Diaz":
- bimap-server
- binary-list
- byteset
@ -1281,6 +1281,7 @@ packages:
- grouped-list
- haskintex
- HaTeX
- hetzner
- include-file
- matrix
- pcre-light