diff options
| -rw-r--r-- | src/main.c | 1 | 
1 files changed, 0 insertions, 1 deletions
@@ -304,7 +304,6 @@ void main_prog(void *closure, gint argc, gchar *argv[])  	if (map == NULL)  	{ -		exit_nicely();  		exit (1);  	}  | 
![]()  | 
index : gnurobots.git | |
| Fork of GNU Robots | Joshua Judson Rosen | 
| summaryrefslogtreecommitdiff | 
| -rw-r--r-- | src/main.c | 1 | 
@@ -304,7 +304,6 @@ void main_prog(void *closure, gint argc, gchar *argv[])  	if (map == NULL)  	{ -		exit_nicely();  		exit (1);  	}  |