dev-tools-all · 9a3101a584c3b66a9b2f3241dc28e38de4b4e349 · Librem5 / librem5-base · GitLab

Snippets Groups Projects

Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this page for instructions on how to get full permissions. Sorry for the inconvenience.

source.puri.sm migrated to a new server, see new ssh key fingerprint.

3 years ago
35e18bf6
Make sure we get librem5-check by default · 35e18bf6
Guido Gunther authored 3 years ago and Martin Kepplinger committed 3 years ago
```
dev-tools is not installed often so move to non-gnome-recommends
for e.g. support to gather data with.
```
35e18bf6

History
Make sure we get librem5-check by default
Guido Gunther authored 3 years ago and Martin Kepplinger committed 3 years ago
```
dev-tools is not installed often so move to non-gnome-recommends
for e.g. support to gather data with.
```