diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-01 21:21:55 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-02 01:49:24 +0200 |
| commit | 9b76aa1031e078f273633cc4f59d4641b9f5332f (patch) | |
| tree | 7fe32334cdb4303291265ae6f9a05c6045eb0f2b /gnu/local.mk | |
| parent | d9e3f9d9d7c087ee10ea5e8856f435ead44ca1d1 (diff) | |
gnu: php: Don't use NAME in source URI.
* gnu/packages/php.scm (php)[source]: Hard-code NAME.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions