Renames file extension from pt to nt

ultimaweapon · Sep 14, 2023 · 5e1a0a2 · 5e1a0a2
1 parent eb8bc3e
commit 5e1a0a2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/stage0/src/main.rs b/stage0/src/main.rs
@@ -73,10 +73,10 @@ fn main() -> ExitCode {
                 continue;
             }
 
-            // Skip if not a Pluto source.
+            // Skip if not a Nitro source.
             match path.extension() {
                 Some(v) => {
-                    if v != "pt" {
+                    if v != "nt" {
                         continue;
                     }
                 }

diff --git a/std/Allocator.pt → std/Allocator.nt b/std/Allocator.pt → std/Allocator.nt