diff --git a/.gitignore b/.gitignore index 4b7b88fd1d8a519b00335bad0c28f4f7d09a1fca..8cdd5caaaacca064113bf873b8e69b984794af05 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *.docx* !ICHLL_STYLESHEET.docx *.pdf +ressources/dictionaries.png snippets/* !snippets/*.md diff --git a/ressources/dictionaries.gv b/ressources/dictionaries.gv index 47a3998fdf692044b3c77127924d158f8b8f63ef..619322e132fa065f9b9ecafceed1e3a382b66413 100644 --- a/ressources/dictionaries.gv +++ b/ressources/dictionaries.gv @@ -1,5 +1,6 @@ digraph g { rankdir="LR"; + node [fontsize="40pt"]; case -> lang, oRef, pRef; colloc -> lang, oRef, pRef; def -> lang, oRef, pRef; diff --git a/ressources/dictionaries.png b/ressources/dictionaries.png deleted file mode 100644 index 138f51684b1dc22f751c37f7b4b8b50a5c3ffdc4..0000000000000000000000000000000000000000 Binary files a/ressources/dictionaries.png and /dev/null differ