projects / GitHub / WoltLab / woltlab.github.io.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 12d1cfd e3e9f97)
Merge pull request #184 from WoltLab/pips
authorMatthias Schmidt <gravatronics@live.com>
Wed, 9 Jun 2021 07:05:56 +0000 (09:05 +0200)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 07:05:56 +0000 (09:05 +0200)
Document new file deletion PIPs


Trivial merge