Project

General

Profile

« Previous | Next » 

Revision e8e44887

Added by Andreas Müller about 6 years ago

#7109 rename abbrev label from nom. valid to nom. val.

  • added
  • modified
  • copied
  • renamed
  • deleted