« Previous | Next » 

Revision 3add7574

ID3add7574dbba0f557769f6dbed81deda12d2b9f4
Parent 75b32fff
Child 8775b5b2

Added by Iustin Pop almost 11 years ago

Rename htools/ to src/

Per offline discussions, this is the first patch of the
renames. Tested with "make distcheck", seems to work fine.

The only change outside of the renaming is a bit of simplification in
the .gitignore rules; otherwise, simply s/htools/src/.

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences