« Previous | Next » 

Revision 5891be7d

ID5891be7d1fcb567898162dae772a60042a5e2522
Parent 4a717894
Child 3bcb55e5

Added by Luca over 10 years ago

Fix nodeid_equal() (the fd should not be compared!)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences