tree 9f66d1fc636754d83e9f80796aa2aa4129948ad6
parent e3c5a59d07c0743b1287408faf6a313b0bf9aa8a
author Zesstra <zesstra@zesstra.de> 1754137587 +0200
committer Zesstra <zesstra@zesstra.de> 1754137949 +0000

P_INTERMUD entfernt.

Propertydefinition entfernt, Querymethode und da sie leider
auf SAVE gestellt war, nach dem Laden das SAVE-Flag loeschen.

Zitat Manpage:
   Die Bedeutung dieser Property ist in den praehistorischen Untiefen
   der Mudlib verlorengegangen.
   Wird nicht mehr benutzt.
   Nicht benutzen.
   Ignorieren.

Change-Id: I03a60fc201cdeb9e3389cd5d419035146ed75087