diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-09-17 12:00:09 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-09-17 12:00:09 +0200 |
| commit | 7ce84e123a63e4d2b523e2bc15515d3d6cf988d6 (patch) | |
| tree | aebb2024d0e08afb28b18b912ff25b138a131035 /ideas.txt | |
| parent | a10a34b13db2df5c748b2c719ac8d7d65ae5441d (diff) | |
| download | papers-7ce84e123a63e4d2b523e2bc15515d3d6cf988d6.tar.gz papers-7ce84e123a63e4d2b523e2bc15515d3d6cf988d6.tar.bz2 papers-7ce84e123a63e4d2b523e2bc15515d3d6cf988d6.zip | |
simplfiy, registered seems unnecessary here
Diffstat (limited to 'ideas.txt')
0 files changed, 0 insertions, 0 deletions