diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-11-29 22:19:58 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-29 22:43:49 +0100 |
| commit | ec4e9455d3acd4850dd0006216a7df1789e4320d (patch) | |
| tree | 3e7664b7965e00e3ee712358a8c20fe78c8b39d8 /gnu/packages/pdf.scm | |
| parent | 82a0787c06aca9b6c01295c7f1d3b3f354c83693 (diff) | |
gnu: polyml: Fetch sources from git.
* gnu/packages/sml.scm (polyml)[source]: Fetch from git.
Diffstat (limited to 'gnu/packages/pdf.scm')
0 files changed, 0 insertions, 0 deletions