diff options
Diffstat (limited to 'port_versions/c-/cppad.json')
| -rw-r--r-- | port_versions/c-/cppad.json | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/port_versions/c-/cppad.json b/port_versions/c-/cppad.json deleted file mode 100644 index 0fb26ef23..000000000 --- a/port_versions/c-/cppad.json +++ /dev/null @@ -1,9 +0,0 @@ -{ - "versions": [ - { - "git-tree": "b18a6d765c26ff523ffec8761974e16343935e79", - "version-string": "20200000.3", - "port-version": 0 - } - ] -} |