diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-11-11 11:36:39 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-11 11:36:39 +0100 |
| commit | 7a52d0e075baebe2c04331b82d5974f2db9bf9f0 (patch) | |
| tree | ecf73188150698f8ab53ce9c682fdda06b3637aa /gnu/packages/agda.scm | |
| parent | d68a15806b26ee23bf83c92ed29d2d4b1024b919 (diff) | |
| download | guix-7a52d0e075baebe2c04331b82d5974f2db9bf9f0.tar guix-7a52d0e075baebe2c04331b82d5974f2db9bf9f0.tar.gz | |
gnu: dotconf: Remove custom bootstrap phase.
* gnu/packages/textutils.scm (dotconf)[arguments]: Remove autoreconf phase.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions