aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sets/.cvsignore
blob: c446fcb878816799e88a32fe61badf6d18c46b75 (plain)
1
*.v8