diff options
Diffstat (limited to 'hello/both_hello/hello.ini')
-rw-r--r-- | hello/both_hello/hello.ini | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hello/both_hello/hello.ini b/hello/both_hello/hello.ini index 4cde2b6..7056414 100644 --- a/hello/both_hello/hello.ini +++ b/hello/both_hello/hello.ini @@ -13,7 +13,6 @@ name = Hello RTEMS Tracer ; Options can be defined here or on the command line. ; ;options = verbose -options = dump-on-error ; ; Functions to trace. ; |