| commit | 8cc4d0dc32a1f8734e77266bb6abdd11f18a631c | [log] [tgz] |
|---|---|---|
| author | Werner Lemberg <wl@gnu.org> | Tue Dec 01 08:48:28 2020 +0100 |
| committer | Werner Lemberg <wl@gnu.org> | Tue Dec 01 08:48:28 2020 +0100 |
| tree | e8edcbb0be6259bc1778b0ee6b834198314930df | |
| parent | 56c610b145212b7acfb24a17e86fc0ba15aa3052 [diff] |
* src/tools/chktrcmp.py (trace_use_pat): Update to current use.