directory_file was missing from OptionLists.txt.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 22 Sep 2006 14:01:12 +0000 (14:01 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 22 Sep 2006 14:01:12 +0000 (14:01 +0000)
commitf324b55dcd5a95ce8273f6f368d03aab81d7ea59
treee93096c171cc0ad97b1c1afaae33e94d24b1239d
parent21a04aa376e91125fa8c289c5c9502873c7166ec
directory_file was missing from OptionLists.txt.
doc/doc-txt/OptionLists.txt