Jonathan Cubides 329bec50a9 Label renaming (#275) ... * Update bug_report.md * Update feature_request.md		2022-07-12 12:34:48 +02:00
..
ISSUE_TEMPLATE	Label renaming (#275)	2022-07-12 12:34:48 +02:00
PULL_REQUEST_TEMPLATE	Add issues and PR templates (#261)	2022-07-08 15:19:07 +02:00
workflows	Rename MiniJuvix to Juvix (#259)	2022-07-08 13:59:45 +02:00