Rm unused feature

2026-05-16 13:05:18 +03:00 · 2015-03-19 07:24:13 +05:30
parent e8c1d771fc
commit 6f930b99b0
1 changed files with 0 additions and 1 deletions
@@ -19,7 +19,6 @@
 #![feature(unboxed_closures)]
 #![feature(std_misc)]
 #![feature(test)]
-#![feature(core)]
 #![feature(path_ext)]

 #![deny(warnings)]