summaryrefslogtreecommitdiff
path: root/vendor/optional
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/optional')
m---------vendor/optional0
1 files changed, 0 insertions, 0 deletions
diff --git a/vendor/optional b/vendor/optional
deleted file mode 160000
-Subproject f6249e7fdcb80131c390a083f1621d96023e72e