diff options
| author | bors <bors@rust-lang.org> | 2014-04-03 13:52:03 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-04-03 13:52:03 -0700 |
| commit | bb31cb8d2e4e415cbb71d368918d72902e655e01 (patch) | |
| tree | bf44811a29eb5f1dba840f22d1d8b59df27fc9e8 /src/etc | |
| parent | 6f1c06d6a1b97fcd80d85c38bb33f8350c750401 (diff) | |
| parent | 46867cc3e4ddcbb1d359a315805de00094dacaf9 (diff) | |
| download | rust-bb31cb8d2e4e415cbb71d368918d72902e655e01.tar.gz rust-bb31cb8d2e4e415cbb71d368918d72902e655e01.zip | |
auto merge of #13286 : alexcrichton/rust/release, r=brson
Merging the 0.10 release into the master branch.
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/kate/rust.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/kate/rust.xml b/src/etc/kate/rust.xml index 288085d8bae..dc3aa94c595 100644 --- a/src/etc/kate/rust.xml +++ b/src/etc/kate/rust.xml @@ -7,7 +7,7 @@ <!ENTITY rustIdent "[a-zA-Z_][a-zA-Z_0-9]*"> <!ENTITY rustIntSuf "([iu](8|16|32|64)?)?"> ]> -<language name="Rust" version="0.10-pre" kateversion="2.4" section="Sources" extensions="*.rs" mimetype="text/x-rust" priority="15"> +<language name="Rust" version="0.10" kateversion="2.4" section="Sources" extensions="*.rs" mimetype="text/x-rust" priority="15"> <highlighting> <list name="fn"> <item> fn </item> |