diff options
| author | Eduardo Julian | 2019-05-22 00:12:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-05-22 00:12:24 -0400 |
| commit | 0bc505930accb00f74724f384ee42c9a4dd32beb (patch) | |
| tree | 7c7358b2090fe4023af854bc4cdd8987deaf382d /documentation/research/text_editor & ide.md | |
| parent | 7406fbf75e7f81b466c02ed07d65e62c86e3230a (diff) | |
Removed the useless #lux.type? annotation tag.
Diffstat (limited to 'documentation/research/text_editor & ide.md')
0 files changed, 0 insertions, 0 deletions