« Previous | Next » 

Revision 1b128de3

ID1b128de364e5a1931c1cc61b04c1e44960007025
Parent 935ceabe
Child e1e31816

Added by Ondrej Filip over 21 years ago

Better shutdown.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences