Skip to content
GitLab
Explore
Sign in
Register
Clean up gitignore by ignoring all .cpm directories
Code
Review changes
Check out branch
Download
Patches
Plain diff
Fredrik Wieczerkowski
requested to merge
fwcd/curry-tools:clean-up-gitignore
into
main
Aug 03, 2023
Overview
0
Commits
1
Changes
1
Expand
This is also consistent with the default
.gitignore
generated by
cypm init
.
Merge request reports
Loading