Daniel Lange
|
204bc710ba
Adjust to current label reality and the fact that Github can't search for multiple labels ORed ... yet.
|
3 years ago |
Daniel Lange
|
40ecde9d88
Add Github label disclaimer as per vi's comment
|
3 years ago |
Benny Baumann
|
de884d17bb
Documentation on the repository style guide
|
4 years ago |
Nathan Scott
|
6900e57efd
Updates to project URLs in docs and embedded in source code
|
4 years ago |
Christian Göttsche
|
b92f62f912
Remove trailing whitespaces
|
4 years ago |
Hisham Muhammad
|
9ca1c993ac
Add Contributing Guide!
|
6 years ago |