diff options
| author | ng0 <ng0@n0.is> | 2019-10-14 15:45:45 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-10-14 15:45:45 +0000 |
| commit | 096579cbd720bb0b6d0f974cdf0765cf0fdcfca4 (patch) | |
| tree | 564aee614f9f8de45a43a41e07909598fdfed5b2 | |
| parent | 4f9102a80c7f94b88c51176633a49a8107bbdc4e (diff) | |
| download | gnunet-096579cbd720bb0b6d0f974cdf0765cf0fdcfca4.tar.gz gnunet-096579cbd720bb0b6d0f974cdf0765cf0fdcfca4.zip | |
kommando zurueck, this time for real.
| -rwxr-xr-x | contrib/indent_pre-commit (renamed from pre-commit) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/pre-commit b/contrib/indent_pre-commit index c67fcaf0c..c67fcaf0c 100755 --- a/pre-commit +++ b/contrib/indent_pre-commit | |||