diff options
| author | Domen Kožar <domen@dev.si> | 2015-01-08 10:25:04 +0100 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2015-01-08 10:25:04 +0100 |
| commit | 1eeb4b3c511757b757339d7e43f31cba8355c6df (patch) | |
| tree | b2843756046bce2ab48b4baca3bfd178a86c4eca /pkgs/development/coq-modules | |
| parent | 512fbb280f72980e84230b72b631258df1755919 (diff) | |
While patching shebangs in source, keep the modification datestaging.patchShebangs
Otherwise this triggers automake/autoconf/m4 dependencies that
are redundant because of the trivial change.
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions