Statistics
| Branch: | Tag: | Revision:

root / src / OLD-NEWS @ 4157b044

History | View | Annotate | Download (19 kB)

# Date Author Comment
3add7574 12/24/2012 11:38 pm Iustin Pop

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/....