|
|
4de6d5b0f9
|
unikernels as processes is mato's paper, not mine ;) (no need to list it twice)
|
2019-09-12 11:53:19 +02:00 |
|
Your Name
|
ca364d504c
|
make aspell happy
|
2019-09-11 00:49:41 +02:00 |
|
Your Name
|
dcc0a42c70
|
PGP + typo
|
2019-09-11 00:36:12 +02:00 |
|
Your Name
|
6fcb28629d
|
damn, aesthetics
|
2019-09-11 00:26:26 +02:00 |
|
Your Name
|
214529c271
|
frontpage placeholder with <u> maybe
|
2019-09-11 00:25:38 +02:00 |
|
Your Name
|
3f7af35cce
|
infix underlining in markdown, how to
|
2019-09-11 00:23:45 +02:00 |
|
Your Name
|
91ec4da4bd
|
infix underlining in markdown, how to
|
2019-09-11 00:23:27 +02:00 |
|
Your Name
|
3c87741524
|
try underlining stuff on frontpage
|
2019-09-11 00:22:36 +02:00 |
|
Your Name
|
62514c6b7f
|
woops leave LA out for now
|
2019-09-11 00:19:03 +02:00 |
|
Your Name
|
f1739fca47
|
#Ocaml -> #OCaml fixup
|
2019-09-11 00:16:40 +02:00 |
|
Your Name
|
309ffb61d0
|
no trailing spaces
|
2019-09-11 00:12:14 +02:00 |
|
Your Name
|
5af3009835
|
Revert "+ in urls" since our ghetto http server is not actually working correctly
This reverts commit 432f97470c.
|
2019-09-11 00:09:34 +02:00 |
|
Your Name
|
432f97470c
|
+ in urls
|
2019-09-11 00:08:49 +02:00 |
|
Sol
|
c8c2eae4a7
|
fixing last urls
|
2019-09-11 00:05:48 +02:00 |
|
Sol
|
3f56965e6a
|
fixing even more urls and trailing whitespaces
|
2019-09-10 23:57:32 +02:00 |
|
Sol
|
e8b0c31bb3
|
fixing more urls and trailing whitespaces
|
2019-09-10 23:40:09 +02:00 |
|
Sol
|
892dcd8008
|
fixing markdown mistakes
|
2019-09-10 23:27:36 +02:00 |
|
Sol
|
862a37a828
|
fixing whitespaces
|
2019-09-10 23:22:30 +02:00 |
|
Sol
|
1568eae6fe
|
fixing links
|
2019-09-10 23:11:18 +02:00 |
|
Your Name
|
b3f313a944
|
donate: highlight bank addresses differently
|
2019-09-10 22:47:34 +02:00 |
|
Your Name
|
a30593552e
|
donate: highlight bank addresses
|
2019-09-10 22:46:54 +02:00 |
|
Your Name
|
70a6fd5639
|
unfuck Donate page again
|
2019-09-10 22:46:09 +02:00 |
|
Your Name
|
82addfee02
|
wtf markdown
|
2019-09-10 22:43:00 +02:00 |
|
Your Name
|
f2b1861bf8
|
markup for donation page
|
2019-09-10 22:41:45 +02:00 |
|
Sol
|
03f97289f1
|
fixing anchors
|
2019-09-10 22:41:35 +02:00 |
|
Your Name
|
14176621e0
|
add spacing to footer
|
2019-09-10 22:28:56 +02:00 |
|
Your Name
|
5d87c4f9b4
|
nuke two header lines
|
2019-09-10 22:28:35 +02:00 |
|
Your Name
|
e04eabde34
|
what is this OMD markdown thing even
|
2019-09-10 22:27:25 +02:00 |
|
Sol
|
a1a04ba800
|
trying to fix breaks in homepage
|
2019-09-10 22:22:38 +02:00 |
|
Sol
|
b8006801f2
|
ficking my markup fuckups
|
2019-09-10 22:19:22 +02:00 |
|
Sol
|
355185ccad
|
fixed header and footer
|
2019-09-10 22:06:43 +02:00 |
|
Sol
|
86d31da3fb
|
fixing fuckup re static removal
|
2019-09-10 21:47:04 +02:00 |
|
Sol
|
ef125dbfe4
|
new text for website!
|
2019-09-10 21:40:14 +02:00 |
|
Your Name
|
8959855424
|
even more a cooperative
|
2019-07-19 14:46:19 +02:00 |
|
Your Name
|
489be157bb
|
make us a cooperative \o/
|
2019-07-19 14:41:19 +02:00 |
|
|
|
852901589d
|
.
|
2019-07-17 12:36:20 +02:00 |
|
|
|
fad7a4aef8
|
more links to donate page
|
2019-07-17 12:32:04 +02:00 |
|
|
|
d5c629fb6d
|
link to /Donate, put bitcoin wallet on /Donate
|
2019-07-17 12:27:44 +02:00 |
|
linse
|
b7e3ac1f91
|
Update the installation instructions to refer to the github project
page.
|
2018-11-26 17:22:56 +01:00 |
|
|
|
e3feafff62
|
update doc
|
2018-09-30 19:27:57 +02:00 |
|
linse
|
26bee45142
|
Add installation docs for CalDAV server.
|
2018-09-28 11:56:51 +02:00 |
|
|
|
04f40ad1f8
|
Donate: reword
|
2018-04-18 13:37:26 +02:00 |
|
|
|
f9f38754ce
|
Donate: minor
|
2018-04-17 09:13:30 +02:00 |
|
|
|
c503312a9d
|
pinata: some rephrasing
|
2018-04-17 00:00:46 +02:00 |
|
|
|
62642b6cbc
|
minor tweak
|
2018-04-16 23:49:16 +02:00 |
|
|
|
d94abd7117
|
initial draft for donate
|
2018-04-15 14:04:30 +02:00 |
|
Mindy
|
edc1863c85
|
de-pseudonymize and alphabetize myself
|
2018-01-25 10:22:33 -06:00 |
|
|
|
4cfc3d4826
|
typo, plus theorem prover -> proof assistant
|
2018-01-18 15:58:10 +01:00 |
|
|
|
1bd9f4f3e7
|
add CFML
|
2018-01-18 15:14:43 +01:00 |
|
|
|
aa07aa39a8
|
pinata update since money may be reused this year
|
2018-01-14 17:31:09 +01:00 |
|
