update dev env overview of tools used

Signed-off-by: Allie Crevier <allie@freedom.press>
freedomofpress · May 19, 2021 · 9e9b886 · 9e9b886
1 parent b5a3e8e
commit 9e9b886
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/docs/development/setup_development.rst b/docs/development/setup_development.rst
@@ -7,10 +7,11 @@ Overview
 --------
 
 SecureDrop is a multi-machine design. To make development and testing
-easy, we provide a set of virtual environments, each tailored for a
-specific type of development task. We use Vagrant, Molecule, and
-Docker and our Ansible playbooks can provision these environments on
-either virtual machines or physical hardware.
+easier, we provide a set of virtual environments, each tailored for a
+specific type of development task. We use Ansible playbooks to provision
+these environments on either virtual machines or physical hardware. We
+use Libvirt to manage our virtual machines, Docker to run them, and
+Molecule to test the provisioning logic.
 
 Quick Start
 -----------