summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortom barrett <spalf0@gmail.com>2018-03-20 10:26:08 -0500
committertom barrett <spalf0@gmail.com>2018-03-20 10:26:08 -0500
commit583211851c839b2729888edf319c63d31054cb7b (patch)
tree330afd9b68e76b8482db7e94fda72ba0d974099c
parentc008757b8907f043c3a8181d071ec9eb751f6d9e (diff)
-killing octave-workspace
-rw-r--r--.octaverc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.octaverc b/.octaverc
new file mode 100644
index 0000000..652a751
--- /dev/null
+++ b/.octaverc
@@ -0,0 +1 @@
+crash_dumps_octave_core(0);