diff options
| author | Enrico Tassi | 2019-05-23 09:14:27 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-05-23 09:14:27 +0200 |
| commit | 4663542d9410d1bd0e074a493e1f04686e00dd8b (patch) | |
| tree | e0bfd5cfc3322571f38d7776f3263c9c53e37a47 /dev | |
| parent | 20a464396fd89449569dc69b8cfb37cb69766733 (diff) | |
| parent | 4757e4f20680c320ac9657b1a6d1570071269850 (diff) | |
Merge PR #8768: [stm] Add hooks for document actions.
Reviewed-by: gares
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions