diff options
author | 2017-03-17 16:57:50 +0000 | |
---|---|---|
committer | 2017-03-17 16:57:50 +0000 | |
commit | e671ebf563168253f3cfda39092569cf1d09d377 (patch) | |
tree | 6d6c2da9078fdb4c954c383136ded4c299a794de /docs/submodules | |
parent | c4822e0f9fe8a2642d859dc53cb162428a02c990 (diff) | |
parent | 0f5eaf8c39694a239e353292dc1a505e4518c274 (diff) |
Merge "Revert "Add Opera submodule""
Diffstat (limited to 'docs/submodules')
m--------- | docs/submodules/opera | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/opera b/docs/submodules/opera deleted file mode 160000 -Subproject 4867ce93ff214e5bcb1b3b178173080a17bfc5d |