« Previous | Next » 

Revision 01f23a3e

ID01f23a3eb55757109b0cf165753def9832509678
Parent 900ce617, 7f2220bd

Added by Lorenzo Ghiro almost 3 years ago

bugfix: stop resource logging only if previously started

Files

  • added
  • modified
  • copied
  • renamed
  • deleted