diff options
Diffstat (limited to 'extra/ode')
| -rw-r--r-- | extra/ode/.footprint.x86_64 (renamed from extra/ode/.footprint) | 0 | ||||
| -rw-r--r-- | extra/ode/.md5sum.x86_64 (renamed from extra/ode/.md5sum) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/extra/ode/.footprint b/extra/ode/.footprint.x86_64 index e08e09d8d..e08e09d8d 100644 --- a/extra/ode/.footprint +++ b/extra/ode/.footprint.x86_64 diff --git a/extra/ode/.md5sum b/extra/ode/.md5sum.x86_64 index 9d8d7920a..9d8d7920a 100644 --- a/extra/ode/.md5sum +++ b/extra/ode/.md5sum.x86_64 |