diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-04-25 13:26:08 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-04-25 15:35:52 +0200 |
| commit | 3c7567a586690042fdd899c7e82543cb31a3b853 (patch) | |
| tree | 7c471d5d788e3b86efbb550438e437d7bd7ce722 /COMPILING | |
| parent | 9b8034a9fd40b4d05075fda719e61f6eb4c45678 (diff) | |
edsp: ask policy engine for the pin of the version directly
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions