Merge pull request #197 from phovea/fontawesome-v5

Upgrade to Font Awesome v5
phovea · Dec 23, 2020 · b9ab3f8 · b9ab3f8
2 parents c8da41a + 5b5f5bd
commit b9ab3f8
Show file tree

Hide file tree

Showing 21 changed files with 152 additions and 160 deletions.
diff --git a/dist/base/annotation.js b/dist/base/annotation.js
diff --git a/dist/base/annotation.js.map b/dist/base/annotation.js.map
diff --git a/dist/menu/ProvenanceGraphMenu.js b/dist/menu/ProvenanceGraphMenu.js