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)
commitf2f37c5eecf09cc88072ac24e84b271eb37e5bc6
treeeab7bb2b0d54be822e6d3a7b8e2ba235844a6d95
parent12d1cfd7b88ecbeddea73719074d158767888161
parente3e9f97056016ddd4cde189bb81af4c7310fbaa4
Merge pull request #184 from WoltLab/pips

Document new file deletion PIPs