]>
| author | Johan Malm <jgm323@gmail.com> | |
| Mon, 30 Jan 2023 21:24:52 +0000 (21:24 +0000) | ||
| committer | Johan Malm <johanmalm@users.noreply.github.com> | |
| Thu, 6 Jul 2023 17:04:55 +0000 (18:04 +0100) | ||
| commit | 29031a4c85b75e5ed61c01b7fb5a94edd2fb9bdd | |
| tree | ca0347971c61a43c9485c404e0e2ec9ec427220e | tree | snapshot |
| parent | 235a8ad9bc1e5cd001d6cba7eef27a15e3799a10 | commit | diff |
| scripts/.gitignore | [new file with mode: 0644] | blob |
| scripts/find-banned.sh | [new file with mode: 0755] | blob |
| scripts/helper/Makefile | [new file with mode: 0644] | blob |
| scripts/helper/find-idents.c | [new file with mode: 0644] | blob |