diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-02-27T11·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-02-27T11·04+0000 |
| commit | 60cb7de336035768089cc764a3fd7e8867a8d298 (patch) | |
| tree | 710ab85ccd7aa37f2df21ea5b37011273719273c /aterm-gc.supp | |
| parent | 8ab6bc5a49686aedf85adffe322c4f016764af5f (diff) | |
* Allow options from the Nix config file to be overriden from the
command line (e.g. "--option build-use-chroot true").
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions