[Gravity] Rebrand to Lunr.Gravity
Review Request #974 — Created June 26, 2023 and submitted — Latest diff uploaded
| Information | |
|---|---|
| pprkut | |
| Lunr.Gravity | |
| aa3b52e... | |
| Reviewers | |
| lunr | |
Rebrand to Lunr.Gravity
GitHub actions run: https://github.com/pprkut/lunr.gravity/actions/runs/5381285335
Diff Revision 1
This is not the most recent revision of the diff. The latest diff is revision 2. See what's changed.
orig
1
2
| .reviewboardrc |
|---|
| Jenkinsfile |
|---|
| README.md |
|---|
| build.xml |
|---|
| .reuse/dep5 |
|---|