|
|
6806393285
|
Wandbox: update compiler version
|
2022-01-14 09:23:12 +01:00 |
|
|
|
dea8387586
|
Publish script: don't stop if wandbox fails
|
2022-01-14 09:22:55 +01:00 |
|
|
|
af18994deb
|
Update copyright notice
|
2022-01-01 10:01:05 +01:00 |
|
|
|
8a9a26588c
|
Fixed publish script
|
2021-07-03 16:08:36 +02:00 |
|
|
|
d5d2209d09
|
Added "https://" prefix to all URLs so they are clickable in VS Code
|
2021-03-29 19:35:25 +02:00 |
|
|
|
97b7161d78
|
Update copyright notice for 2021
|
2021-01-25 09:14:15 +01:00 |
|
|
|
f9cfea244a
|
Updated copyright notice
|
2020-01-09 15:48:38 +01:00 |
|
|
|
b47ac27ac6
|
Moved ancillary files to extras/ (fixes #1011)
|
2019-09-03 15:11:05 +02:00 |
|
