diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:53:06 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:53:06 +0200 |
| commit | b6abf4e8fe0c3b40305dfdd0410abfbf3c804874 (patch) | |
| tree | 0e63a8695c793e79ba1b64b6674002c02f514040 /.novaboot | |
| parent | a8c91e078ccb3780a53748cc52b7974bfc65b636 (diff) | |
| parent | 72316e351df5159384d70faa708224ff2fcc8dd2 (diff) | |
| download | linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.gz linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.bz2 linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.zip | |
Merge branch 'measuring'
Removing measuring branch. Idea was to make measuring configuration
separate from master. But keeping changes in master and measuring
branch consistent was pain.
Diffstat (limited to '.novaboot')
| -rw-r--r-- | .novaboot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.novaboot b/.novaboot new file mode 100644 index 0000000..0cd421a --- /dev/null +++ b/.novaboot @@ -0,0 +1 @@ +$default_target = 'ryuglab'; |