diff options
| author | Franz Geffke <franz@pantherx.org> | 2023-09-28 19:21:05 +0100 |
|---|---|---|
| committer | Franz Geffke <franz@pantherx.org> | 2023-09-28 19:21:05 +0100 |
| commit | 0a1e1dc353a34f494796b1a3447183b87828644e (patch) | |
| tree | bb438d4c569773149e0bdf7619ca7ac0d5c5a945 /px/system | |
| parent | 262d1cd71dfe30455b00a46b9a4f7736af5d4dd2 (diff) | |
expose apply-px-substitute-server
Diffstat (limited to 'px/system')
| -rw-r--r-- | px/system/os.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/px/system/os.scm b/px/system/os.scm index cdff7e8..f397fbd 100644 --- a/px/system/os.scm +++ b/px/system/os.scm @@ -37,7 +37,7 @@ ;; %px-substitute-server-url ;; %px-substitute-server-key - ;; apply-px-substitute-server + apply-px-substitute-server )) ;;; |