Géry Debongnie ea9f533536 [FIX] tools: include proper version number in released build ...

Before this commit, the release script would build the code, then update
the version number, so the released code would have the previous release
number instead of the current.

2023-07-19 15:34:20 +02:00

..

devtools

[FIX] devtools: Fix crash when no root node

2023-07-12 10:01:38 +02:00

compile_xml.js

[ADD] tools: create owl-devtools extension

2023-03-30 12:57:28 +02:00

playground_server.py

[REF] github page: move page to docs folder on master branch

2023-04-24 15:32:51 +02:00

release.js

[FIX] tools: include proper version number in released build

2023-07-19 15:34:20 +02:00