diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-15 11:19:53 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-15 11:22:02 +0200 |
| commit | c5a975867e2af705a809e706d1509ce1f8e67ea8 (patch) | |
| tree | 391f6d412cac45023b894f93ee252cfc670e0f12 /src/cuirass.scm | |
| parent | 97ec7a2da52e093234576b0e65b18c6db4411bde (diff) | |
| download | cuirass-c5a975867e2af705a809e706d1509ce1f8e67ea8.tar cuirass-c5a975867e2af705a809e706d1509ce1f8e67ea8.tar.gz | |
metrics: Warn about metric insertion.
* src/cuirass/metrics.scm: Add a warning about metric insertion in %metrics
list.
Diffstat (limited to 'src/cuirass.scm')
0 files changed, 0 insertions, 0 deletions