diff options
| -rw-r--r-- | development/noweb/README | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/development/noweb/README b/development/noweb/README index 9fda5a8331..7d65d5dbe8 100644 --- a/development/noweb/README +++ b/development/noweb/README @@ -3,5 +3,3 @@ designed to meet the needs of literate programmers while remaining as simple as possible. Its primary advantages are simplicity, extensibility, and language-independence -- especially noticeable when compared with other literate-programming tools. - -Requires icon. |