diff options
| author | jao <jao@gnu.org> | 2022-10-08 20:54:03 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-08 20:54:03 +0100 |
| commit | db4d645996d1c3da9d50504baa34f3c685cd3b83 (patch) | |
| tree | 387a2deb75b2c8d987031cc57bbc72469a071aab /.gitignore | |
| parent | 48427d4aecc6fed751d266673f1ce2ad57ddbcfc (diff) | |
| download | geiser-chez-db4d645996d1c3da9d50504baa34f3c685cd3b83.tar.gz geiser-chez-db4d645996d1c3da9d50504baa34f3c685cd3b83.tar.bz2 | |
better display of evaluation results (dups, spurious compile msgs)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions