Merge branch 'pretty_print' into dev
This commit is contained in:
commit
527c635d3f
4 changed files with 137 additions and 18 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -177,3 +177,4 @@ m4/ltversion.m4
|
|||
m4/lt~obsolete.m4
|
||||
|
||||
Makefile
|
||||
*.svg
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue