diff options
Diffstat (limited to 'ports/optional-bare/CONTROL')
| -rw-r--r-- | ports/optional-bare/CONTROL | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ports/optional-bare/CONTROL b/ports/optional-bare/CONTROL deleted file mode 100644 index 0c9fe1411..000000000 --- a/ports/optional-bare/CONTROL +++ /dev/null @@ -1,3 +0,0 @@ -Source: optional-bare
-Version: 1.1.0
-Description: A simple version of a C++17-like optional for default-constructible, copyable types, for C++98 and later in a single-file header-only library
|