diff options
| author | Ken Micklas | 2023-09-26 20:19:24 +0000 |
|---|---|---|
| committer | GitHub | 2023-09-26 20:19:24 +0000 |
| commit | 0c879d4edcd8644475f4fa809af2d9aaf6959eb0 (patch) | |
| tree | 53f3fbdb75f25ab5bc3dfc253ef8c858e31cbaad /runtime/queries/ocaml-interface | |
| parent | 080a085fa796fe2b71b5932b704d465695fba824 (diff) | |
Add shebangs for Makefiles (#8410)
For example, this is standard for Debian rules files: https://www.debian.org/doc/manuals/maint-guide/dreq.en.html#defaultrules
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions