| commit | c5b7850e7b2279c7acf478881fcb9f7a1244bd5a | [log] [tgz] |
|---|---|---|
| author | Jonathan Gallimore <jon@jrg.me.uk> | Mon Nov 16 15:54:44 2020 +0000 |
| committer | Jonathan Gallimore <jon@jrg.me.uk> | Mon Nov 16 16:01:03 2020 +0000 |
| tree | 6767e1be67593f98ebe05546d5698102e95af9d6 | |
| parent | a5d59f238e3124e65288cb18b19975f3378df4e7 [diff] |
Add a profile that does the same as the main build, but without the examples