diff options
| author | David Mehren | 2020-12-02 15:52:23 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-02 15:52:23 +0100 |
| commit | df0482ea689a97e62efe394203dab8778ff28a07 (patch) | |
| tree | 3fe638eb3a8dfe8e30102bc012436bd835b55712 /docs/dev/ot.md | |
| parent | 0e8e2132561b6b2e551257c06461b399b390095b (diff) | |
| parent | eb727810b5a7f08dd9e5d9cf7a90d8c17600e19f (diff) | |
Merge pull request #614 from hedgedoc/update-pr-template-labels
Update issue templates to use the new labels
Diffstat (limited to 'docs/dev/ot.md')
0 files changed, 0 insertions, 0 deletions