From dc2493e7525bb7633f697ef10f72b72b46222249 Mon Sep 17 00:00:00 2001 From: Andy Belle-Isle Date: Fri, 30 Aug 2019 00:45:36 -0400 Subject: Forget what I said, I just need to change git attributes to mark for vendor --- deps/sol2/docs/source/rtti.rst | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 deps/sol2/docs/source/rtti.rst (limited to 'deps/sol2/docs/source/rtti.rst') diff --git a/deps/sol2/docs/source/rtti.rst b/deps/sol2/docs/source/rtti.rst deleted file mode 100644 index 8b0892f..0000000 --- a/deps/sol2/docs/source/rtti.rst +++ /dev/null @@ -1,7 +0,0 @@ -run-time type information (rtti) -================================ -*because somebody's going to want to shut this off, too...* - -sol does not use RTTI. - -.. _an issue: https://github.com/ThePhD/sol2/issues -- cgit v1.2.3