diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-06-03 08:35:30 +0000 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-06-03 08:35:30 +0000 |
| commit | 187b547f840144e469064ee5b3eca76af9bce58b (patch) | |
| tree | b203225b3cb2a09e05267d3626012eafc9c0dc28 /tools | |
| parent | 430f1a369f9dbc1328abb3ea750cfcc0c4db0c3e (diff) | |
| parent | e12ba0e3d6491a693ce63fe07f26b8d17ad5da5c (diff) | |
| download | rumba-187b547f840144e469064ee5b3eca76af9bce58b.tar.gz rumba-187b547f840144e469064ee5b3eca76af9bce58b.zip | |
Merge branch 'onlyshims' into 'master'
rumba: take into account DIFs that don't use nor are used by other DIFs
Closes #11
See merge request !52
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions