« Previous | Next » 

Revision 61d01c0f

ID61d01c0fb187cdba78fcebf7c44b4f30429371ca
Parent 83d96c36
Child 7617fd6b

Added by Iustin Pop about 13 years ago

Remove some obsolete htools files

Signed-off-by: Iustin Pop <>
Reviewed-by: Michael Hanselmann <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

  • htools
    • .gitattributes
    • AUTHORS
    • COPYING