supertree-wook 6b40e8309c Fix some extension descriptions in the wiki not having properly formatted lists (#5365)

2023-06-01 11:56:14 +02:00

..

DownloadLocalFile.js

Add script to easily download artifacts (useful when deploying a new release)

2021-09-07 19:19:04 +01:00

Locales.js

Update translations and add translation support to LinkEvent

2019-03-02 15:18:49 +00:00

LocalJsExtensionsLoader.js

Factor functions of newIDE scripts, allow to discover JS extensions and dynamically read examples list

2018-08-24 18:29:19 +01:00

MapFor.js

Factor functions of newIDE scripts, allow to discover JS extensions and dynamically read examples list

2018-08-24 18:29:19 +01:00

PythonMarkdownHelper.js

Fix some extension descriptions in the wiki not having properly formatted lists (#5365)

2023-06-01 11:56:14 +02:00

ReadThemeRegistry.js

Simplify new themes creation: all themes now need just a single JSON file to be created (#2127)

2020-12-18 22:13:25 +01:00

WikiHelpLink.js

Adapt the rendering of reference document to Markdown for the new wiki (#5112)

2023-03-23 11:43:57 +01:00