diff options
| author | Enrico Tassi | 2015-04-02 14:02:15 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-04-02 14:02:15 +0200 |
| commit | 46330661210f8e535179cf837fe4b53de9133571 (patch) | |
| tree | 3ecc47239d1504aca52c91f21c43b85259766101 /mathcomp/basic/all_basic.v | |
| parent | e2530e78deda5cf6be2111951efb8ea747af7fa8 (diff) | |
The right way to ignore the plugin directory
Diffstat (limited to 'mathcomp/basic/all_basic.v')
0 files changed, 0 insertions, 0 deletions