diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-23 17:00:38 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-25 02:12:41 +0200 |
| commit | c7c9e918763cd0e4c3fb85fe610c3971a0040d87 (patch) | |
| tree | 8551f106eace452996484ff05da017ce66c62bae /build-aux | |
| parent | cf7e290dc25fdc379d650bb4594628d4a654e59b (diff) | |
| download | cuirass-c7c9e918763cd0e4c3fb85fe610c3971a0040d87.tar cuirass-c7c9e918763cd0e4c3fb85fe610c3971a0040d87.tar.gz | |
schema: Separate 'Evaluations' from 'Builds'.
Adapt src/cuirass/database.scm and its tests.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions