Juan Ramos
|
3f7a5370a3
|
docs: Remove INTEGRATION.md
This document hasn't been getting updated and is out of date
in more than a few ways.
|
2023-10-23 14:01:35 -06:00 |
|
Juan Ramos
|
179b26a792
|
docs: Remove outdated documentation referencing cmake/
|
2023-07-05 15:27:21 -06:00 |
|
Juan Ramos
|
a49166a89a
|
docs: Improve github templates
Just specify the list of files to avoid contributor confusion.
|
2023-01-23 11:41:50 -07:00 |
|
Juan Ramos
|
1a43b498b8
|
github: Add PR template
|
2023-01-20 10:58:23 -07:00 |
|