annotate doc/IR.odt @ 2732:beea26b73b3f

Removed unused options and code.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 19 May 2011 17:31:01 +0200
parents 72d9b2cd27d6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2497
72d9b2cd27d6 Added draft for documentation (goals and IR).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
1 (binary:application/vnd.oasis.opendocument.text)