Skip to content
GitLab
Explore
Sign in
Register
Corpora
prospero
Merge requests
!2
Setup development environment with Vagrant
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ghost User
requested to merge
dev/dev-environment
into
develop
Nov 25, 2019
Overview
0
Commits
1
Pipelines
0
Changes
10
Expand
New dependencies (production)
Pg
1.1.4
Dependencies removed
SQLite3
Edited
Nov 25, 2019
by
Ghost User
Merge request reports