diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 02:38:25 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2022-02-23 21:23:57 +0100 |
| commit | 448760457c85b80eef23b7c1ede8c735e4491b98 (patch) | |
| tree | 12a64c80f1bc3a633cac6921a4f47c370f8bb634 /doc/development.md | |
| parent | b5f3eeaf83d68c64ee508624afa5b76c14907e15 (diff) | |
Makefile: Rename 'test' target to 'check'.
Per convention, cf. https://www.gnu.org/prep/standards/html_node/Standard-Targets.html .
Diffstat (limited to 'doc/development.md')
0 files changed, 0 insertions, 0 deletions