diff options
| author | mamg22 <45301823+mamg22@users.noreply.github.com> | 2022-01-08 11:09:38 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-08 15:09:38 +0000 |
| commit | 157cda5b31d51ea1379d907489fa982bcba36f44 (patch) | |
| tree | 9c64888c61c65b9297ba471785e4480684ad357b /Makefile | |
| parent | a9c6cbcd207eed387085647017d14324e63f77dd (diff) | |
Document development workflow for maintainers (#202)
Co-authored-by: NRK <nrk@disroot.org>
Co-authored-by: Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions