Change the old filename, "src/stage0.txt" to "src/stage0.json"#1383

Merged

JohnTitor merged 1 commit intorust-lang:masterfrom

ohno418:change-old-filename

Jul 3, 2022

Commits on Jul 3, 2022

Change the old filename, "src/stage0.txt" to "src/stage0.json"
ohno418
committed