diff options
author | Yannic Staudt <pyscopath68@hotmail.com> | 2022-03-22 14:01:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-22 14:01:25 +0300 |
commit | 779c429b0ec63cc6d5e28b159b044cb8e12ad3a3 (patch) | |
tree | 14216f87face2e2ec4759f54e4ca05c51d880406 /.tipi | |
parent | 4e208b95b7ae488b0d31fcc80228b141792b79b5 (diff) |
Added instructions to use cxxopts with tipi to INSTALL (#325)
Diffstat (limited to '.tipi')
-rw-r--r-- | .tipi/deps | 1 | ||||
-rw-r--r-- | .tipi/opts | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.tipi/deps b/.tipi/deps new file mode 100644 index 0000000..6f31cf5 --- /dev/null +++ b/.tipi/deps @@ -0,0 +1 @@ +{ }
\ No newline at end of file diff --git a/.tipi/opts b/.tipi/opts new file mode 100644 index 0000000..0519ecb --- /dev/null +++ b/.tipi/opts @@ -0,0 +1 @@ +
\ No newline at end of file |