Laurent Cozic a6c3fbb0ed Revert "Merge branch 'dev' into dev" ... This reverts commit 5e0c171099, reversing changes made to b8aa7d0735. Was accidentally pushed to dev.		2022-05-09 12:41:55 +01:00
..
ISSUE_TEMPLATE	DO NOT create screenshots of text !!!	2021-11-17 09:25:34 -05:00
scripts	Tools: Make server build more configurable	2022-02-23 09:02:13 +00:00
workflows	Revert "Merge branch 'dev' into dev"	2022-05-09 12:41:55 +01:00
FUNDING.yml	Update FUNDING.yml	2019-09-06 18:48:05 +01:00
ISSUE_TEMPLATE.md	Update ISSUE_TEMPLATE.md	2019-10-09 22:13:14 +02:00
lock.yml	Update lock.yml	2019-10-18 11:32:23 +02:00
PULL_REQUEST_TEMPLATE	Doc: Changed GitHub links from master to dev	2020-10-11 16:17:51 +01:00