diff options
author | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2017-04-07 17:13:32 +0200 |
---|---|---|
committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2017-04-07 15:27:58 +0000 |
commit | bf84b5e16c0c54c76b86393ce674ec6b604ddeb1 (patch) | |
tree | ac50b78a799d5e4f77da02e24a720fb5b6705b55 /docs/development/overview | |
parent | 5322ced367a79d9e605407cdf51d7c125440b85e (diff) |
cleanup: Fuel: docker: remove obsolete ffi patch
This patch is no longer needed, since upstream package repos have
fixed meanwhile.
Change-Id: Ic73d7e60cce6a1a0c152885caeb30f49d68e7441
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
(cherry picked from commit 0716a89e4055be29c140044608293ec5a95b08c6)
Diffstat (limited to 'docs/development/overview')
0 files changed, 0 insertions, 0 deletions