projects / siridb-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 04a7d72 c4c2e4f)
Merge pull request #180 from SiriDB/ht
authorJeroen van der Heijden <jeroen@cesbit.com>
Thu, 12 May 2022 12:38:57 +0000 (14:38 +0200)
committerGitHub <noreply@github.com>
Thu, 12 May 2022 12:38:57 +0000 (14:38 +0200)
Add head and tail syntax


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.