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