Commit graph

219 commits

Author SHA1 Message Date
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
Martin Lucina
fd186c8da3 Reorder, add link to my website 2018-01-09 09:18:37 +01:00
Martin Lucina
23de48a025 Typography 2018-01-08 13:18:32 +01:00
Martin Lucina
cd07cc95e0 Fix 2018-01-08 13:16:01 +01:00
Martin Lucina
4f74cf6186 Add myself to the Team 2018-01-08 13:14:41 +01:00
32086923a3 . 2018-01-06 18:05:19 +01:00
a4da4410ba nobody unicodes bitcoin 2017-12-23 01:49:39 +01:00
c785a2d662 . 2017-12-22 19:48:10 +01:00
5fdc071481 . 2017-12-22 19:41:19 +01:00
68085d8be6 less words 2017-12-22 19:26:35 +01:00
321e9c1e89 caldav 2017-12-22 19:22:20 +01:00
9ccd292dfe changeme 2017-12-22 19:04:49 +01:00
a8189d75a7 some updates, including budget for 2018 and link to techcultivation 2017-12-22 18:58:59 +01:00
5770bef72f remove EUR, it's always out of date 2017-11-24 23:22:08 +00:00
5c934e5c05 Merge branch 'master' of dev:robur.io 2017-11-24 23:21:41 +00:00
372bfd93e9 Home: remove first two paragraphs, they're a bit misplaced here 2017-11-24 23:21:24 +00:00
Your Name
b64c5120b8 try to fix whitespace in previous update 2017-11-09 23:31:37 +01:00
Your Name
fe0943ae63 add pgp key (will share this key between all of us when we have a secure line of communication), bump tls-pinata btc->eur rate 2017-11-09 23:30:24 +01:00
linse
fad050a294 Merge branch 'master' of dev.mehnert.org:robur.io 2017-11-05 16:59:42 -05:00
linse
f4a0aae3ac Style footer. 2017-11-05 16:59:33 -05:00
d4d68a475e contact 2017-11-05 21:55:02 +00:00
linse
1b5add1d30 Merge branch 'master' of dev.mehnert.org:robur.io 2017-11-05 16:48:36 -05:00
linse
7a0cfa2cb9 Move link in footer. 2017-11-05 16:48:22 -05:00
fc1f34d2de header 2017-11-05 21:46:35 +00:00
c72e4af054 link 2017-11-05 21:21:02 +00:00
f828aefd08 footer 2017-11-05 21:20:03 +00:00
linse
0683ee244a Merge branch 'master' of dev.mehnert.org:robur.io 2017-11-05 15:39:26 -05:00
linse
38d3fa5129 Revert "Pdding at bottom."
This reverts commit 5ea65a6ca2.
2017-11-05 15:39:15 -05:00
linse
63a5404533 Merge branch 'master' of dev.mehnert.org:robur.io 2017-11-05 15:37:25 -05:00
linse
5ea65a6ca2 Pdding at bottom. 2017-11-05 15:37:08 -05:00
2cf29e91c6 . 2017-11-05 20:36:14 +00:00
430d2d44a7 no title 2017-11-05 20:32:06 +00:00
linse
2ba25a1816 No link deco in navbar. 2017-11-05 15:29:21 -05:00
linse
2f8fe18451 Navbar yellow. 2017-11-05 15:27:39 -05:00
linse
cb98bca62c Underline links instead 2017-11-05 15:25:56 -05:00
d6995c0209 no date 2017-11-05 20:03:53 +00:00
73cd769fd9 minimise date 2017-11-05 19:59:53 +00:00
67ece67f0a typo~ 2017-11-05 18:49:07 +00:00
9f978450a6 linse+hannes: revise home 2017-11-05 18:47:48 +00:00
Your Name
7d88385bc4 clear up some wording 2017-11-05 17:30:08 +00:00
Your Name
0d19c5c1f8 fix some typos 2017-10-30 22:00:55 +01:00
Your Name
d460c307b1 fix typo 2017-10-30 21:05:22 +01:00
a26f1498b2 hello, my name is hannes 2017-10-04 21:48:03 +01:00
3737f6c532 sort alphabetically 2017-10-04 21:44:47 +01:00
95be65eb0b +mindy 2017-09-21 13:44:07 +02:00
5e7d3f5b8e +paul 2017-09-18 16:45:42 +01:00
5c3ad93b7b -typo 2017-09-18 11:27:21 +01:00
0077feb0ac transparent bg 2017-09-17 22:38:36 +01:00