diff options
| author | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-09 00:29:12 -0400 |
| commit | ef77466323f85a3d1b65b46a3deb93652ef22085 (patch) | |
| tree | c2715b8cf6e7864fef87e22ee6e206c7c1758849 /documentation/bookmark/tool/integrated_development_environment.md | |
| parent | 085c9a6ef151531cb01b842ed2f4366a49b78367 (diff) | |
The old record syntax has been re-purposed as variant syntax.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions