bootstrap
|
Add jenkinsfile and makefiles to test it
|
2021-01-15 18:28:36 +00:00 |
.gitignore
|
[Website] Add site/public to the gitignore
|
2021-01-02 17:21:24 +00:00 |
Jenkinsfile
|
Change the Jenkins agent type to any
|
2021-01-15 18:31:41 +00:00 |
LICENSE
|
Make Serene GPLv2 compatible
|
2020-09-09 21:40:31 +01:00 |
Makefile
|
Add jenkinsfile and makefiles to test it
|
2021-01-15 18:28:36 +00:00 |
README.org
|
Update the TOC of README.org
|
2020-12-16 19:08:49 +00:00 |
dev.org
|
Record the caller details in the stack frame
|
2020-12-30 17:50:00 +00:00 |