| commit | 8fcd1e92f646917b34f64c4c1df7d46345022ae2 | [log] [tgz] |
|---|---|---|
| author | Michal Vasko <mvasko@cesnet.cz> | Thu Apr 15 14:42:58 2021 +0200 |
| committer | Michal Vasko <mvasko@cesnet.cz> | Thu Apr 15 14:43:41 2021 +0200 |
| tree | c00904c0d1e0dfb61a657cf9872f669b0d827a77 | |
| parent | 4e3912347a2fb676748689a4c302250cf0680581 [diff] [blame] |
build BUGFIX missing installation of a public header
diff --git a/CMakeLists.txt b/CMakeLists.txt index 16eda9d..443a800 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt
@@ -169,6 +169,7 @@ src/printer_schema.h src/set.h src/tree.h + src/tree_edit.h src/tree_data.h src/tree_schema.h)