1
1
mirror of https://github.com/rsms/inter.git synced 2024-11-30 11:26:32 +03:00
Commit Graph

14 Commits

Author SHA1 Message Date
Rasmus Andersson
727977bd4e website: some UI updates to the lab 2019-05-27 14:19:08 -07:00
Rasmus Andersson
ab4715013a website 2019-02-25 09:17:53 -08:00
Rasmus Andersson
38a830d0a9 website update 2019-02-19 07:23:32 -08:00
Rasmus Andersson
af51a3e178 website: get rid of home-made autoreload in favor of new livereload feature in jekyll 3.7 2019-02-07 09:38:39 -08:00
Rasmus Andersson
74e4a6cf74 website: add utility checks to optimize-resources.sh 2019-02-02 17:01:57 -08:00
Rasmus Andersson
a0df8aa6d4 website: big update with samples and vf stuff 2018-10-10 23:38:33 -07:00
Rasmus Andersson
5bc7754354 web: fix dev "serve" script 2018-10-10 23:38:22 -07:00
Rasmus Andersson
724caef757 update website (note: the live website is sourced from the master branch, so these changes will not be visible on the actual website until this branch is merged into master, or if you run the server locally.) 2018-10-10 23:37:53 -07:00
Rasmus Andersson
20ad111899 web: jekyll script 2018-10-10 23:37:38 -07:00
Rasmus Andersson
d064cad96f web: trying to work around issues with jekyll 2018-10-10 23:37:37 -07:00
Rasmus Andersson
045c98c1c7 website 2018-10-10 23:37:35 -07:00
Rasmus Andersson
6785f6ea1c web: fix serve script 2018-09-03 16:05:20 -07:00
Rasmus Andersson
9a6c2e0202 docs: workarounds for poorly-behaving jekyll 2018-08-28 08:09:56 -07:00
Rasmus Andersson
9f367901ef website: major update 2018-02-20 01:38:51 -08:00