diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-05-12 22:33:46 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-05-12 22:33:46 +0200 |
| commit | a06794c77af8a23f3292e42e0361fe97e6cecc7b (patch) | |
| tree | 282d48bea6a277ec6d16ce2651acb006c403f4b8 | |
| parent | a58d435e0c9c9a32ff4db7a28029c5fb1b001c10 (diff) | |
remove openpgp submodule
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | libraries/openpgp-api-lib | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 95a31c25..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "openpgp-api-lib"] - path = libraries/openpgp-api-lib - url = https://github.com/open-keychain/openpgp-api-lib.git diff --git a/libraries/openpgp-api-lib b/libraries/openpgp-api-lib deleted file mode 160000 -Subproject 89b0a3bd140dd178595c031beaa27747575d7ac |