debian
|
update debian packaging
|
2016-04-18 10:49:37 +02:00 |
jenkins
|
update jenkins build scripts
|
2016-06-10 13:43:03 +02:00 |
opm/common
|
file name and line number are in a new line.
|
2016-06-15 11:20:34 +08:00 |
redhat
|
update redhat packaging
|
2016-04-18 10:49:55 +02:00 |
tests
|
file name and line number are in a new line.
|
2016-06-15 11:20:34 +08:00 |
travis
|
Travis builds output before core
|
2016-06-10 12:53:56 +02:00 |
.gitignore
|
Ignore build/ directory at project root.
|
2016-02-01 10:33:35 +01:00 |
.travis.yml
|
Reorganized travis building.
|
2016-06-07 22:40:52 +02:00 |
dune.module
|
dune.module: change version to 2016.10-pre
|
2016-05-03 14:31:32 +02:00 |
LICENSE
|
Initial commit
|
2015-03-18 01:59:50 -05:00 |
README.md
|
Added Travis status to README.md
|
2016-02-05 08:33:51 +01:00 |