diff options
Diffstat (limited to 'server/replaytool/src/main.rs')
| -rw-r--r-- | server/replaytool/src/main.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/server/replaytool/src/main.rs b/server/replaytool/src/main.rs index 7f60287f..8dde133d 100644 --- a/server/replaytool/src/main.rs +++ b/server/replaytool/src/main.rs @@ -15,7 +15,6 @@ along with this program. If not, see <https://www.gnu.org/licenses/>. */ -#![feature(exit_status_error, random)] pub mod record; pub mod render; |