diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-11-13 11:49:12 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-11-13 12:02:39 +0100 |
| commit | b8c06ef409792dd9a6d14d46b50787fa7a6fb33d (patch) | |
| tree | 99dbde4d8604a98c4893b6036628af05af6e099c /depends/.gitignore | |
| parent | 3ac70609345a249a74fad61b70f93e8a19245011 (diff) | |
doc: Add non-style-related development guidelines
I've collected these over time, mostly adding notes after
troubleshooting obscure bugs. As I hope to get the community more
involved in the whole process, I think it is useful to add to the
developer-notes.
Diffstat (limited to 'depends/.gitignore')
0 files changed, 0 insertions, 0 deletions