« Previous | Next » 

Revision 19c34f1c

ID19c34f1c7a22c82c6623742d14f422cddaa3cf3a
Parent e0dea91a

Added by Kostas Papadimitriou over 12 years ago

Fix overlay message font-size

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences