diff options
-rw-r--r-- | opencascade-docs [disowned]/PKGBUILD (renamed from opencascade-docs/PKGBUILD) | 0 | ||||
-rwxr-xr-x | opencascade-docs [disowned]/watch- (renamed from opencascade-docs/watch) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/opencascade-docs/PKGBUILD b/opencascade-docs [disowned]/PKGBUILD index 866c519..866c519 100644 --- a/opencascade-docs/PKGBUILD +++ b/opencascade-docs [disowned]/PKGBUILD diff --git a/opencascade-docs/watch b/opencascade-docs [disowned]/watch- index 69d0dd5..69d0dd5 100755 --- a/opencascade-docs/watch +++ b/opencascade-docs [disowned]/watch- |