diff options
| author | jao <jao@gnu.org> | 2022-10-26 00:37:32 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-26 00:37:32 +0100 |
| commit | 3ad1c3807c25283bb344512b3be3da197200ba3a (patch) | |
| tree | 1ef52891a6138c7293f8ce95f94f411bb711c7b9 /scheme/plt | |
| parent | 4f8b5d17ba2436ca08e6ba442ef8dd5a8fa5a714 (diff) | |
| download | geiser-chez-3ad1c3807c25283bb344512b3be3da197200ba3a.tar.gz geiser-chez-3ad1c3807c25283bb344512b3be3da197200ba3a.tar.bz2 | |
automatic reload of reverse library dependencies
when modifying and reloading a given library, all libraries
that (transitively) use it are also reloaded now.
Diffstat (limited to 'scheme/plt')
0 files changed, 0 insertions, 0 deletions