diff options
| author | Enrico Tassi | 2015-04-02 14:06:03 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-04-02 14:06:03 +0200 |
| commit | 54d0e3b96cf06b8423e03d982d9c88fb50a21262 (patch) | |
| tree | 528aab3bd1559ce226e3ec5abe77523e5ba0c0bb /mathcomp/basic/path.v | |
| parent | 46330661210f8e535179cf837fe4b53de9133571 (diff) | |
plugin that compiles with 8.5
Diffstat (limited to 'mathcomp/basic/path.v')
0 files changed, 0 insertions, 0 deletions