Skip to content
GitLab
Explore
Sign in
Tiger
assignments
Merge requests
!43
Resolve "Rename AnyDecs and Decs"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Romain Foucher
requested to merge
26-rename-anydecs-and-decs
into
master
Mar 08, 2020
Overview
3
Commits
3
Pipelines
0
Changes
9
Expand
Closes
#26 (closed)
Edited
Jan 24, 2021
by
Romain Foucher
Merge request reports