« Previous | Next » 

Revision 720d911d

ID720d911d777f64872df923e102ebc509113885f0
Parent 4872cef4
Child c79ec2ec

Added by Pavel Machek over 22 years ago

Added constants of type prefix and pair, added their printing

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences