Merge pull request #363 from gingold-adacore/cache
authortexane <texane@gmail.com>
Mon, 11 Jan 2016 15:02:48 +0000 (16:02 +0100)
committertexane <texane@gmail.com>
Mon, 11 Jan 2016 15:02:48 +0000 (16:02 +0100)
st-util: synchronize cache for stm32f7


Trivial merge