diff options
| author | 0scar <qgt268@alumni.ku.dk> | 2022-08-30 16:22:44 +0000 |
|---|---|---|
| committer | 0scar <qgt268@alumni.ku.dk> | 2022-08-30 16:22:44 +0000 |
| commit | cbdfa931877f484e448b04f5f954e761cf207854 (patch) | |
| tree | 867d6460e472a51b6bdc4f3bbb719ee829d6c38f /.gitignore | |
| parent | 856e859c5c6ec9e6033adc733fda902824c6d675 (diff) | |
Add check target to makefile
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions