mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-15 06:40:17 +00:00
98a2ab0686
This PR changes v0.0.7 of the extension API to v0.1.0. We had a false-start in releasing v0.0.7, which has since been yanked, so we need a new version number. We'll publish v0.1.0 to crates.io once the Preview build is out tomorrow. We're incrementing the minor version so that we have some leeway in putting out patch releases of the crate within a given extension API release. Release Notes: - N/A
9 lines
224 B
Text
9 lines
224 B
Text
interface common {
|
|
/// A (half-open) range (`[start, end)`).
|
|
record range {
|
|
/// The start of the range (inclusive).
|
|
start: u32,
|
|
/// The end of the range (exclusive).
|
|
end: u32,
|
|
}
|
|
}
|