diff options
| -rwxr-xr-x | scripts/module-imports.scm (renamed from scripts/all-symbols.scm) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/all-symbols.scm b/scripts/module-imports.scm index 5ac1f215..5ac1f215 100755 --- a/scripts/all-symbols.scm +++ b/scripts/module-imports.scm |