| commit | 02cce9ff7aac4323df0f9f3ee6ba24127e132d33 | [log] [tgz] |
|---|---|---|
| author | Radek Krejci <rkrejci@cesnet.cz> | Tue Nov 03 15:30:40 2020 +0100 |
| committer | Radek Krejci <rkrejci@cesnet.cz> | Thu Nov 05 20:32:29 2020 +0100 |
| tree | 77ee090eccefd1d1539fa1dd10944194e8558381 | |
| parent | 15f10abfbe19e862d2b9726a05b6d6c29a8bed22 [diff] |
build CHANGE remove plugins_exts.h from public headers Extension's API is not yet ready, so remove it for now, it will be added later.
diff --git a/CMakeLists.txt b/CMakeLists.txt index 5e7491b..e450f23 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt
@@ -154,7 +154,6 @@ src/in.h src/parser_data.h src/parser_schema.h - src/plugins_exts.h src/plugins_types.h src/out.h src/printer_data.h