Skip to content

Cherry-pick of "Merge branch 'DictGenDepFix-master-20180124' into 'master'" into 1.0

Attila Krasznahorkay requested to merge cherry-pick-89405556 into 1.0

Dictionary Generation Dependency Fixes, master branch (2018.01.24.)

See merge request !217 (merged)

(cherry picked from commit 89405556)

  • 3d40073a Taught the atlas_add_dictionary(...) function to trigger the re-generation

Merge request reports