Skip to content

Commit

Permalink
Unify assets with new frontend
Browse files Browse the repository at this point in the history
  • Loading branch information
tmattio committed Dec 15, 2021
1 parent 98cdfbb commit 2aa7d69
Show file tree
Hide file tree
Showing 202 changed files with 161 additions and 438 deletions.
108 changes: 0 additions & 108 deletions asset/css/doc.css

This file was deleted.

36 changes: 0 additions & 36 deletions asset/css/syntax.css

This file was deleted.

135 changes: 0 additions & 135 deletions asset/css/toplevel.css

This file was deleted.

File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/acad.png
Binary file not shown.
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/api-img.jpeg
Binary file not shown.
Binary file removed asset/img/app-image.png
Binary file not shown.
Binary file removed asset/img/app-image2.png
Binary file not shown.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/camllist.png
Binary file not shown.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/coq.png
Diff not rendered.
File renamed without changes
Binary file removed asset/img/discord.png
Diff not rendered.
Binary file removed asset/img/discourselogo.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/github.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/irc.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
9 changes: 0 additions & 9 deletions asset/img/js.svg
Diff not rendered.
Binary file removed asset/img/js2.jpeg
Diff not rendered.
Binary file removed asset/img/jvs.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/liq.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/lxf.png
Diff not rendered.
Binary file removed asset/img/news-bg.jpeg
Diff not rendered.
File renamed without changes
Binary file removed asset/img/oc-sq.jpeg
Diff not rendered.
Binary file removed asset/img/ocaml-logo.jpeg
Diff not rendered.
Binary file removed asset/img/oclabs.png
Diff not rendered.
Binary file removed asset/img/opam.png
Diff not rendered.
File renamed without changes
Binary file removed asset/img/rackspacelogo.jpeg
Diff not rendered.
Binary file removed asset/img/reddit.png
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/slv2.png
Diff not rendered.
File renamed without changes
File renamed without changes
Binary file removed asset/img/trd.png
Diff not rendered.
Binary file removed asset/img/twitter.png
Diff not rendered.
Binary file removed asset/img/typewriter.jpeg
Diff not rendered.
Binary file removed asset/img/tz.png
Diff not rendered.
Binary file removed asset/img/unison2.png
Diff not rendered.
Binary file removed asset/img/user.jpg
Diff not rendered.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file removed asset/img/worldmap.jpg
Diff not rendered.
88 changes: 88 additions & 0 deletions asset/logo-footer.svg
Binary file removed asset/logo.jpeg
Diff not rendered.
Loading

0 comments on commit 2aa7d69

Please sign in to comment.