diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 19:50:57 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-10 19:50:57 +0900 |
| commit | e5a58a5aeafcb8ccf86bd395e5cb25d9f17db38a (patch) | |
| tree | 0d8814c740c04fd5b9c292d0ada90a46b431637e /.gitignore | |
| parent | d1d9597d3a2990758841f4e09520eca49f7cf1f3 (diff) | |
Rename from monitoring to guile-monitoring.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,6 +10,6 @@ build-aux/missing config.log config.status configure -monitoring-*.tar.gz +guile-monitoring-*.tar.gz pre-inst-env |