From ed0d0f6c42370dece27ced4f161eacce45d18832 Mon Sep 17 00:00:00 2001
From: rxi <rxi@users.noreply.github.com>
Date: Sat, 24 Sep 2016 11:51:41 +0100
Subject: [PATCH] Removed `deinitVGA()` from system module

---
 src/system.c | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/src/system.c b/src/system.c
index b5836c7..349cc8d 100644
--- a/src/system.c
+++ b/src/system.c
@@ -1,4 +1,4 @@
-/** 
+/**
  * Copyright (c) 2016 rxi
  *
  * This library is free software; you can redistribute it and/or modify it
@@ -17,11 +17,6 @@ int l_system_getOS(lua_State *L) {
   return 1;
 }
 
-int l_system_deinitVGA(lua_State *L) {
-  vga_deinit();
-  return 1;
-}
-
 
 int l_system_getMemUsage(lua_State *L) {
   lua_pushnumber(L, lua_gc(L, LUA_GCCOUNT, 0) + dmt_usage() / 1024);
@@ -34,7 +29,6 @@ int luaopen_system(lua_State *L) {
   luaL_Reg reg[] = {
     { "getOS",        l_system_getOS        },
     { "getMemUsage",  l_system_getMemUsage  },
-    { "deinitVGA",    l_system_deinitVGA    },
     { 0, 0 },
   };
   luaL_newlib(L, reg);