diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-06 17:14:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-06 17:14:56 +0000 |
| commit | 136290184557ea9375b860bc8ec5e567677fd517 (patch) | |
| tree | 2acd02b0b350539e399e1ae3eb4b20a171951fd8 /next-lib/src/mkMinimal | |
| parent | a0abbc5cddb710da9c844585c752e8faf26a0425 (diff) | |
marked Constructors that don't belong to a minimal implementation of RG
Diffstat (limited to 'next-lib/src/mkMinimal')
| -rw-r--r-- | next-lib/src/mkMinimal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/next-lib/src/mkMinimal b/next-lib/src/mkMinimal new file mode 100644 index 000000000..aaef00b07 --- /dev/null +++ b/next-lib/src/mkMinimal @@ -0,0 +1 @@ +grep -v "\-\-\# notminimal" $1 |