|
|
3044a053e1
|
databases: assume empty dataset_db if file not present. Closes #156
|
2015-10-24 10:15:20 +08:00 |
|
|
|
ef487ee8b0
|
doc: more updates for dataset API
|
2015-10-13 18:45:04 +08:00 |
|
|
|
fc4791bbbe
|
doc: new dataset API
|
2015-10-13 18:11:17 +08:00 |
|
|
|
50a5a3baf0
|
environment: attr_* -> setattr_*
|
2015-10-04 00:18:21 +08:00 |
|
Yann Sionneau
|
4cb0d4589e
|
manual: fix some typos
|
2015-08-26 16:14:16 +02:00 |
|
|
|
2c893ba0a2
|
doc/manual: add results to mgmt tutorial
|
2015-08-26 20:40:37 +08:00 |
|
|
|
947acb1f90
|
manual: management system tutorial, Git integration
|
2015-08-26 20:23:50 +08:00 |
|
