diff options
| author | Boud Roukema <boud@cosmo.torun.pl> | 2021-05-26 02:08:09 +0200 |
|---|---|---|
| committer | Boud Roukema <boud@cosmo.torun.pl> | 2021-05-26 02:08:09 +0200 |
| commit | e429b04514391bca517f777fab48a26c2303984b (patch) | |
| tree | cdd46e38bca00503c1b5f894cec0d9189f30ae19 /.dir-locals.el | |
| parent | ff4b8b836904f92002399e561dcdd2a1c2c96853 (diff) | |
ReproZip, Popper: minor fixes
This commit contains minor fixes in Appendix B.
ReproZip: As Vicky Rampin points out [1], ReproZip typically also
includes non-binary files, so I removed "just" and improved
the wording.
Popper: the Popper URL that we gave is obsolete; at Wayback
Machine it redirects to getpopper.io [2], so I've updated this;
and I've fixed up the wording ('off of' only exists in US
English).
[1] https://octodon.social/@VickyRampin/106298214313216228
[2] https://web.archive.org/web/20210425223605/http://falsifiable.us/
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions