Skip to content

Commit

Permalink
Merge pull request #1742 from Alizter/ps/branch/ignore_nix_profiles
Browse files Browse the repository at this point in the history
  • Loading branch information
@Alizter
Alizter authored Aug 19, 2023
2 parents c89dc10 + 6e86321 commit b8637be
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -107,3 +107,6 @@ _build/

# ignore _CoqProject since we autogenerate it
_CoqProject

# ignore nix profiles
nix/profiles/

0 comments on commit b8637be

Please sign in to comment.