diff options
| author | Ahmad Draidi <a.r.draidi@redscript.org> | 2025-05-10 12:20:23 +0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-05-12 10:40:02 +0200 |
| commit | 4d5e16ee292a52c9325e8095764f0b64ee332c83 (patch) | |
| tree | 272b1a84002f3fae1286ac382d5ff50b710af4f2 /gnu/packages/python-web.scm | |
| parent | 5f3518ca83ad22cd77f24a05110c52907a46565d (diff) | |
gnu: Add pps-tools.
* gnu/packages/time.scm (pps-tools): New variable.
Change-Id: I06a10988acbf4dcd684721e1bee6a2d0c6f2dac6
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/python-web.scm')
0 files changed, 0 insertions, 0 deletions