Skip to content
Snippets Groups Projects
Commit 7e1bf96b authored by Daniel Salzman's avatar Daniel Salzman
Browse files

Merge branch 'public-libs-common' into 'master'

Moved common/ to libknot/internal/

2nd step in separating libknot into an independent library. As we agreed, I moved all files from `common/` to `libknot/internal/`.

Also some renaming was done: symbols in `libknot/internal/` should not be prefixed with `knot_` unless they are system symbol replacements. Unified the prefixing of `namedb` symbols.

Fixes #305
Following: #301

See merge request !303
parents 9de0e69e ab293b70
No related branches found
No related tags found
No related merge requests found
Showing
with 147 additions and 180 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