Changeset 4283 in genesis for tools

Timestamp:

Apr 11, 2005, 4:36:48 PM (20 years ago)

Author:

dirk

Message:

tools voor pen optimalisatie

Location:

tools/pencontrl

Files:

• . (added)
• awkpencontrl (added)
• pen.sh (added)
• pencontrl.sh (added)