« Previous | Next » 

Revision ca77641d

IDca77641d0787be514cae6a622e26e6a58af11d12
Parent ec423cc7
Child a5a947d4

Added by Pavel Machek over 20 years ago

Use `switch' for `disabled'.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences