diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-08-10 01:01:21 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-08-10 01:01:21 +0200 |
| commit | cc20319a1abea2a5658f1c6dec0aa297f12af601 (patch) | |
| tree | 6e2671fe76c28e5ad1c1c9b65d62d383bde84b73 /Makefile.am | |
| parent | bbeef4560d2653c5ad489b9d4e02b1c9ae3083df (diff) | |
fix minor issues introduced in last reformulation of refresh
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions