« Previous | Next » 

Revision c8ca0de5

IDc8ca0de5aef707412d1a87d652e0f969e1af71e8
Parent 9312cbe1
Child 245ab74b

Added by Lorenzo Miniero almost 5 years ago

Opaque identifier to contextualise handles

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences