Skip to content
Snippets Groups Projects
Commit 0ec09744 authored by Adrian Rixon's avatar Adrian Rixon
Browse files

Merge branch 'z3-pkg' into 'master'

Add z3 package

See merge request dsa/ansible-dsa!46
parents d00a61d9 587dfb65
No related branches found
No related tags found
No related merge requests found
......@@ -59,6 +59,7 @@ distro_pkgs:
- network-manager-openvpn-gnome
- network-manager-vpnc-gnome
- libcurl4-openssl-dev
- z3
school_pkgs:
- atom
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment