|
css
|
Update css
|
2019-04-01 22:31:07 +01:00 |
|
fonts
|
Update Font Awesome to 5.0.6
|
2018-02-19 16:33:30 +00:00 |
|
images
|
[ImgBot] Optimize images
|
2019-03-15 16:47:53 +00:00 |
|
js
|
Update search.js
|
2019-04-01 22:31:07 +01:00 |
|
mermaid
|
Use correct input type for search
|
2018-12-21 01:35:42 +00:00 |
|
webfonts
|
Upgrade fontawesome to 5.6.3
|
2018-12-21 02:04:37 +00:00 |
