diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-05-18T17·19+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-05-18T17·19+0000 |
commit | 040140dd1c3c11e3aa1ca486c3f3596cbe99c008 (patch) | |
tree | 226df5b0dfc792d6409fede65b65ac2170821138 /scripts/generate-patches.pl.in | |
parent | 109cde670629a0f022de1d875b55bb2f5243b271 (diff) |
* Added a primop `removeAttrs' to remove attributes from a set, e.g.,
`removeAttrs attrs ["x", "y"]' returns the set `attrs' with the attributes named `x' and `y' removed. It is not an error for the named attributes to be missing from the input set.
Diffstat (limited to 'scripts/generate-patches.pl.in')
0 files changed, 0 insertions, 0 deletions