From ff742b8922a0a179135dc35ea66c231d5c22b1bf Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Wed, 1 Jun 2022 11:41:18 +0200
Subject: Save more stuff to file

---
 src/shell.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/shell.c')

diff --git a/src/shell.c b/src/shell.c
index 30d02be..77d5d1d 100644
--- a/src/shell.c
+++ b/src/shell.c
@@ -143,7 +143,6 @@ main(int argc, char *argv[])
 	char *closing_cmd[1] = { "freemem" };
 
 	init_env();
-	/*print_ptable(&pd_nxopt31_HTM);*/
 
 	if (!checkfiles()) {
 		fprintf(stderr,
-- 
cgit v1.3