diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-03-03 05:42:19 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-03-03 05:42:19 +0100 |
| commit | 82b2cbf0f90d0d82a1856968cc29c8f3c08f1d49 (patch) | |
| tree | 5770abbaa3efc88373f36d39de0f9c4fda2fd817 /doc/manual | |
| parent | 8730d3002f9834a1c9c45bc50fd4c46458ae6eef (diff) | |
remove stale pull request template
the old one seems not to be picked up by GitHub anyway
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions