Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
acdc
repository-extension-services
Merge requests
!97
Merged
Created
Apr 13, 2017
by
acoburn
@acoburn
Guest
Options
Simplify entailment code
Overview
3
Commits
5
Changes
4
I am pretty sure that the integration tests fail for this, but it works in manual testing.