Upgrade to Font Awesome v5

#196
phovea · Dec 15, 2020 · 5b5f5bd · 5b5f5bd
1 parent 0d9841e
commit 5b5f5bd
Show file tree

Hide file tree

Showing 20 changed files with 150 additions and 158 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