remove Pluto's status as a planet

2024-05-01 21:01:32 +02:00 · 2024-05-01 21:01:32 +02:00 · 9ba8b42b2c
parent 70cf0920e9
commit 9ba8b42b2c
1 changed files with 0 additions and 1 deletions
--- a/src/data/defs.txt
+++ b/src/data/defs.txt
@ -251,7 +251,6 @@ actor 0 0 0
            physics off
    actor 0 0 0
        name Pluto
-        planet yes
        orbitaround sol 5906.38e9
        actor 0 0 0 orbitring
            scale 5906.38e9