From 448520d38ab180ff43364f2fc865b3a7ed4bdf75 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 24 May 2004 17:44:30 +0000
Subject: [PATCH] - Fix todo list.

---
 src/todo.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/todo.txt b/src/todo.txt
index 0e5d4a3..4dd0047 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,4 +1,5 @@
-- Latex output has {( )} constructs: remove inner brackets.
+- Make --with-argtabledir= something switch, replacing
+  README/galious-configure.sh constructs.
 - Move initial intruder knowledge maybe into the title of the MSC.
 - Move time things to stderr instead of latex, does not belong in attack
   output.