diff options
Diffstat (limited to 'extensions/SemanticResultFormats')
| m--------- | extensions/SemanticResultFormats | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/extensions/SemanticResultFormats b/extensions/SemanticResultFormats deleted file mode 160000 -Subproject a94a3b4f04e8f2f76ff87a2bf6cb68c7eb3d92d |