« Previous | Next » 

Revision 5d83892f

ID5d83892f4d928264893a5efedc314b7cce41a19f
Parent 38e28375
Child a8c2197d

Added by Klaus Aehlig about 10 years ago

Ensure the existence of LIVELOCK_DIR

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences