This repository has been archived on 2022-12-23. You can view files and clone it, but cannot push or open issues or pull requests.

Thomas Desveaux 0038842032 Package: Adapt required tools to new process		2019-05-02 21:23:09 +02:00
..
changes.lua	Add script to compute PRs git logs to CHANGES.md format	2018-10-22 13:43:27 +02:00
embed.lua	Update embed.lua	2017-08-07 08:52:18 -07:00
package.lua	Package: Adapt required tools to new process	2019-05-02 21:23:09 +02:00
RELEASE.txt	Added release info badges to the readme	2018-03-24 16:23:59 +10:00