- 27 Aug, 2018 1 commit
-
-
- 26 Aug, 2018 1 commit
-
-
Igor Pečovnik authored
-
- 23 Aug, 2018 1 commit
-
-
Igor Pečovnik authored
Check if headers are installed
-
- 11 Aug, 2018 2 commits
-
-
Igor Pecovnik authored
-
Igor Pecovnik authored
Add UUID to boot.ini as well. All boards support this and we need this for smooth jumping from one kernel to another on C2
-
- 06 Aug, 2018 1 commit
-
-
Igor Pecovnik authored
-
- 30 Jul, 2018 3 commits
-
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
- 20 Jul, 2018 2 commits
-
-
Igor Pečovnik authored
Update debian-config-functions-network
-
Gauthier Provost authored
Allow to chose a default interface that doesn't have an IP address yet. Issue #26
-
- 16 Jul, 2018 1 commit
-
-
Thomas Kaiser authored
-
- 11 Jul, 2018 2 commits
-
-
Igor Pečovnik authored
Update debian-config-functions
-
Chris Rohlfs authored
Fix small typo
-
- 27 Jun, 2018 4 commits
-
-
Igor Pečovnik authored
-
Igor Pečovnik authored
-
Igor Pečovnik authored
-
Igor Pečovnik authored
-
- 22 Jun, 2018 2 commits
-
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
- 17 Jun, 2018 1 commit
-
-
Igor Pečovnik authored
-
- 16 Jun, 2018 2 commits
-
-
Igor Pečovnik authored
-
Igor Pečovnik authored
Prevent loading paralel printer port drivers which we don't need here
-
- 11 Jun, 2018 3 commits
-
-
Igor Pečovnik authored
-
Igor Pečovnik authored
-
root authored
-
- 31 May, 2018 2 commits
-
-
Igor Pečovnik authored
-
igorpecovnik authored
-
- 15 May, 2018 3 commits
-
-
Igor Pecovnik authored
-
zador-blood-stained authored
-
Igor Pecovnik authored
-
- 11 May, 2018 1 commit
-
-
Igor Pečovnik authored
-
- 10 May, 2018 1 commit
-
-
Igor Pecovnik authored
-
- 09 May, 2018 7 commits
-
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
Igor Pecovnik authored
-
