update dev env overview of tools used

freedomofpress · May 19, 2021 · 71799b9 · 71799b9
1 parent b5a3e8e
commit 71799b9
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/docs/development/setup_development.rst b/docs/development/setup_development.rst
@@ -7,10 +7,8 @@ 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 and Molecule to test the provisioning logic.
 
 Quick Start
 -----------