diff options
| author | Laurenz <laurmaedje@gmail.com> | 2022-12-14 10:00:32 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2022-12-14 10:02:19 +0100 |
| commit | 4c73456fc1f5df8ebb3a89d9db657c3c54624d66 (patch) | |
| tree | 72a8fa83bb0a797c3e065746a50a74508bb41a3a /src/ide/mod.rs | |
| parent | 2470df05af993e89405c5c86329e08243960641d (diff) | |
Move highlighting into new IDE module
Diffstat (limited to 'src/ide/mod.rs')
| -rw-r--r-- | src/ide/mod.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ide/mod.rs b/src/ide/mod.rs new file mode 100644 index 00000000..a4b1cba5 --- /dev/null +++ b/src/ide/mod.rs @@ -0,0 +1,5 @@ +//! Capabilities for IDE support. + +mod highlight; + +pub use highlight::*; |