« Previous | Next » 

Revision 9dc049cb

ID9dc049cb0aa67f2827e9895ed84349df29a2f405
Parent ff419712
Child 2ade5df1

Added by Kostas Papadimitriou over 9 years ago

Fix user notification display

also improved styling of "notice" message types

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences