Skip to content
Snippets Groups Projects
Commit 3add7574 authored by Iustin Pop's avatar Iustin Pop
Browse files

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: default avatarIustin Pop <iustin@google.com>
Reviewed-by: default avatarGuido Trotter <ultrotter@google.com>
parent 75b32fff
No related branches found
No related tags found
Loading
Showing
with 130 additions and 137 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment