Merge branch 'tmj-dev' into milek-dev

2026-07-21 00:09:19 +02:00 · 2018-06-15 18:58:03 +02:00
parent e5d60cbb39 e54468f831
commit db58ec131a
54 changed files with 2310 additions and 927 deletions
--- a/Names.h
+++ b/Names.h
@@ -63,5 +63,8 @@ public:
    type_sequence &
        sequence() {
            return m_items; }
+    type_sequence const &
+        sequence() const {
+            return m_items; }

 };