diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-09-03 09:58:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-09-03 09:58:55 +0200 |
| commit | ed9fe94a25f34be11db552596537be66727449e7 (patch) | |
| tree | bec71a8fd6365169d8f36917eefb073c48f34378 /games/lit.bib | |
| parent | 7b705246a655c719cfd4248d80e3e625918bb07e (diff) | |
| download | papers-ed9fe94a25f34be11db552596537be66727449e7.tar.gz papers-ed9fe94a25f34be11db552596537be66727449e7.tar.bz2 papers-ed9fe94a25f34be11db552596537be66727449e7.zip | |
de-Talerize, move extras into appendix, cut down to 15 pages
Diffstat (limited to 'games/lit.bib')
0 files changed, 0 insertions, 0 deletions