diff options
| author | Gaëtan Gilbert | 2019-05-02 14:31:42 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-02 14:31:42 +0200 |
| commit | 2aafa0953ce93e3e618c918461ddc1cf1500f97c (patch) | |
| tree | 28bfdfe5cb984066f0b5df9146c8b04da47eeefc /plugins/syntax/plugin_base.dune | |
| parent | 10c3e2ed8c63cbfbd2256fa0c357aa4ccb0ddada (diff) | |
| parent | ba5ea9fb6aaa3faace0960adca4d41fc74cb2ac7 (diff) | |
Merge PR #10038: [comDefinition] Use prepare function from DeclareDef.
Reviewed-by: SkySkimmer
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions