diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 20:01:03 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 20:17:10 +0200 |
commit | 87d868cc7ca3efdfc1ec6ace076e8eb9096af4e5 (patch) | |
tree | 06f37841d2d6d462a1580b1fa4c6e757b3bc8ed9 /gnu/bootloader | |
parent | 0efb64524bf3abaf8f4de9514fd0fb083300b2f6 (diff) | |
download | patches-87d868cc7ca3efdfc1ec6ace076e8eb9096af4e5.tar patches-87d868cc7ca3efdfc1ec6ace076e8eb9096af4e5.tar.gz |
gnu: gpscorrelate: Declare a source file-name.
* gnu/packages/gps.scm (gpscorrelate)[source]: Declare a source file-name.
Diffstat (limited to 'gnu/bootloader')
0 files changed, 0 insertions, 0 deletions