diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-09-13 17:45:21 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-09-13 17:45:21 +0200 |
| commit | a6f263e2130b44d661f2f3baeee2d37f461da870 (patch) | |
| tree | bfc5d76b7c56d539f465e103332c484bafac81be /ideas.txt | |
| parent | eb4bb1e940b223d9c508733aaa3700701f51e986 (diff) | |
| download | papers-a6f263e2130b44d661f2f3baeee2d37f461da870.tar.gz papers-a6f263e2130b44d661f2f3baeee2d37f461da870.tar.bz2 papers-a6f263e2130b44d661f2f3baeee2d37f461da870.zip | |
fix build
Diffstat (limited to 'ideas.txt')
0 files changed, 0 insertions, 0 deletions