aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2022-09-16 09:36:30 +0200
committerGitHub <noreply@github.com>2022-09-16 09:36:30 +0200
commit0a4bd9fe88807cbae51b8b8b51c4897a76991d20 (patch)
tree5bbea287e97df17b1ba1992a9bd00e04c97115df /scripts
parent47fa1087c8864654f6cfae84e25ac6db318ed1d4 (diff)
Update doc/manual/src/contributing/hacking.md
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions