diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 07:41:39 +0000 |
| commit | 1c334b12934f39dcc3e20a0d39bb434ddc065918 (patch) | |
| tree | 280c4e9592a3a38002e7192f8edf35d2efe68e23 /index.html | |
| parent | 1b450c3ae819a88f9ae983183cda403d5c23dff6 (diff) | |
| download | dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.gz dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.tar.bz2 dotty-1c334b12934f39dcc3e20a0d39bb434ddc065918.zip | |
Update gh-pages site for 2556c83a04af1baf9dd69f6139e9ea61d39e7c6a
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html index 787bd058c..3146a5e38 100644 --- a/index.html +++ b/index.html @@ -13,6 +13,7 @@ integrity="sha384-AysaV+vQoT3kOAXZkl02PThvDr8HYKPZhNT5h/CXfBThSRXQ6jW5DO2ekP5ViFdi" crossorigin="anonymous" > + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css" |