diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 20:01:31 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 20:01:31 +0900 |
| commit | 8add0794eca435ee4a2f76181079b6e659882926 (patch) | |
| tree | 7dc44107a8b2cbb83b3b6c524e315168f9c4fc90 /tojo-tokyo/packages/acl2.scm | |
| parent | 3fc80e371fc7059d2db0c40032958cf43888799a (diff) | |
Rename from guile-monitoring to guile-tojo-tokyo-monitoring.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions