Merge branch 'add_community_icons' into 'master'
Add community icons See merge request frama-c/frama-c.frama-c.com!17
Showing
- assets/css/contact.css 6 additions, 2 deletionsassets/css/contact.css
- assets/img/community/BTS_Mantis.png 0 additions, 0 deletionsassets/img/community/BTS_Mantis.png
- assets/img/community/github.png 0 additions, 0 deletionsassets/img/community/github.png
- assets/img/community/gitlab.png 0 additions, 0 deletionsassets/img/community/gitlab.png
- assets/img/community/mails.png 0 additions, 0 deletionsassets/img/community/mails.png
- assets/img/community/stack_overflow.png 0 additions, 0 deletionsassets/img/community/stack_overflow.png
- assets/img/community/twitter.png 0 additions, 0 deletionsassets/img/community/twitter.png
- html/contact.html 10 additions, 4 deletionshtml/contact.html
assets/img/community/BTS_Mantis.png
0 → 100644
14.7 KiB
assets/img/community/github.png
0 → 100644
4.17 KiB
assets/img/community/gitlab.png
0 → 100644
8.7 KiB
assets/img/community/mails.png
0 → 100644
45.3 KiB
assets/img/community/stack_overflow.png
0 → 100644
3.36 KiB
assets/img/community/twitter.png
0 → 100755
4.2 KiB