simon
|
f46dd0262d
|
tidy up, split into server/client
|
2019-03-17 16:27:07 +01:00 |
|
simon
|
3c831f02a6
|
tidy up, split into server/client
|
2019-03-17 16:25:52 +01:00 |
|
simon
|
4741960c9c
|
rename jsonHandler to helper, since this is a much better description
|
2018-12-29 19:28:04 +01:00 |
|
simon
|
359012caed
|
update .gitignore
|
2018-12-29 19:04:47 +01:00 |
|
simon
|
00dfb320e8
|
delete dolfin .directory
|
2018-12-29 19:03:06 +01:00 |
|
simon
|
7bbd4a7f85
|
update .gitignore
|
2018-12-29 19:01:59 +01:00 |
|
simon
|
dd48aaf244
|
add files to master
|
2018-12-29 18:59:48 +01:00 |
|
Simon Zeyer
|
af84f36e54
|
Initial commit
|
2018-12-29 18:16:39 +01:00 |
|