diff options
| author | Cyril Cohen | 2019-11-23 15:06:00 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-23 15:06:00 +0100 |
| commit | bc5ee7beb4011bf0ea4734cfc99fda24ee2eb9e6 (patch) | |
| tree | 90cc32997c5c27699730b09dc2b771db9bd7562c /mathcomp/algebra/vector.v | |
| parent | 36cc4f9ec7b90a762e0353624d92e99afcef2ebb (diff) | |
| parent | c7b3c0aaee252816d78be33c4d7f1302962d4b79 (diff) | |
Merge pull request #437 from pi8027/gitignore-vos-vok
Add *.vos and *.vok to .gitignore
Diffstat (limited to 'mathcomp/algebra/vector.v')
0 files changed, 0 insertions, 0 deletions