diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-07-31 15:20:09 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-07-31 15:20:09 -0700 |
| commit | a410249671fd93948550c9469a6bd10d709057a7 (patch) | |
| tree | 89537777a22e18d149d850bcb47bdf0111a94e0f /src/js/lib/font-awesome/font/fontawesome-webfont.eot | |
| parent | c3c96bff28172fab02ba70191c386b89b6946314 (diff) | |
Rework the UI
* Remove a dependency on jquery-ui for the injected interface
* New, simpler injected ui
Diffstat (limited to 'src/js/lib/font-awesome/font/fontawesome-webfont.eot')
| -rwxr-xr-x | src/js/lib/font-awesome/font/fontawesome-webfont.eot | bin | 0 -> 37405 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/js/lib/font-awesome/font/fontawesome-webfont.eot b/src/js/lib/font-awesome/font/fontawesome-webfont.eot Binary files differnew file mode 100755 index 0000000..0662cb9 --- /dev/null +++ b/src/js/lib/font-awesome/font/fontawesome-webfont.eot |