summaryrefslogtreecommitdiff
path: root/dselect/names
diff options
context:
space:
mode:
authorStefano Zacchiroli <zack@upsilon.cc>2011-03-30 16:30:55 +0200
committerStefano Zacchiroli <zack@upsilon.cc>2011-03-30 16:30:55 +0200
commit798d79f10f828312db06fa7d25d8fa106fbe3c23 (patch)
treee49c0314be624358a427795d36f7774f27ddf3dc /dselect/names
parentf71c0f2e83d849b85c795a2a4a0056d265abf904 (diff)
solver protocol (EDSP): first draft
version 0.1
Diffstat (limited to 'dselect/names')
0 files changed, 0 insertions, 0 deletions