Home Verkennen Help
Inloggen
NitoTV
/
apt
Volgen 2
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Boom: c107d7b0e3
Aftakkingen Labels

Commit History

Auteur SHA1 Bericht Datum
  David Kalnischkies 503c7d5941 report warnings&errors consistently in edit-sources 8 jaren geleden
  David Kalnischkies 22da5c135a don't call pager in non-terminals for changelog 10 jaren geleden
  David Kalnischkies 63ff420898 enable fvisibility=hidden for our private library 10 jaren geleden
  David Kalnischkies 453b82a388 cleanup headers and especially #includes everywhere 11 jaren geleden
  Michael Vogt cfacba5230 add basic "edit-sources" command 11 jaren geleden