chiark / gitweb /
x.gdb created
authorIan Jackson <ijackson@kolmogorov>
Sun, 28 Sep 2008 13:12:32 +0000 (14:12 +0100)
committerIan Jackson <ijackson@kolmogorov>
Sun, 28 Sep 2008 13:12:32 +0000 (14:12 +0100)
x.gdb [new file with mode: 0644]

diff --git a/x.gdb b/x.gdb
new file mode 100644 (file)
index 0000000..2efb7dd
--- /dev/null
+++ b/x.gdb
@@ -0,0 +1,2 @@
+file ./minimise-33
+set args sgtatham.cfm -iwip-33.cfm -obest-33.CFM