« Previous | Next » 

Revision 8de3cb39

ID8de3cb39f5d29b234a84e1a677d25a780e1987b4
Parent 0f012715
Child 43dd1a10

Added by Csaba Kiraly over 9 years ago

remove useless conversion to peer*

TODO: a check could be useful here anyway

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences