mirror of
https://github.com/ellmau/adf-obdd.git
synced 2026-02-04 17:19:05 +01:00
Revert "Rename PR to a more verbose name"
This reverts commit 187b3c453427f1355c28c0ad21c95773034f7c3c. One template file is enough so far
This commit is contained in:
parent
187b3c4534
commit
65835b5c81
Loading…
x
Reference in New Issue
Block a user