diff options
| author | coqbot-app[bot] | 2020-11-13 15:28:53 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-13 15:28:53 +0000 |
| commit | 9a93f5836a5f7bab81384314ac11ff0aac7d1b7f (patch) | |
| tree | 0feb6d52dff924f53d5f39d824816f0ee77e50e5 /lib/control.mli | |
| parent | 51e759fb2ff92dd89ab4823ddea3ea81be7f8046 (diff) | |
| parent | 9cf424839dd7aa1b2ed26e2ed12c9c618969e3b0 (diff) | |
Merge PR #13358: Merge the Linked / LinkedInteractive native link information constructors
Reviewed-by: SkySkimmer
Diffstat (limited to 'lib/control.mli')
0 files changed, 0 insertions, 0 deletions