|
|
8e48ec1f92
|
make rivet.sh non executable
|
2020-09-10 16:40:08 +02:00 |
|
|
|
4558654a48
|
clean destination directory before build
|
2020-09-10 16:38:47 +02:00 |
|
|
|
e0367536ea
|
more bugfixes
|
2020-09-10 16:35:06 +02:00 |
|
|
|
b7a25b796a
|
corrected usage information
|
2020-09-10 16:23:58 +02:00 |
|
|
|
b428fe5616
|
more options and bug fixes
|
2020-09-10 16:21:38 +02:00 |
|
|
|
635c2d8521
|
added makefile for easy install
|
2020-09-10 01:09:34 +02:00 |
|
