add TODOs to design doc
commit1556d549a1afbbe41022b5e25993e4987e4ddf14
authorAndreas Düring <github@duering-andreas.de>
Tue, 15 Nov 2016 17:20:10 +0000 (15 18:20 +0100)
committerAndreas Düring <github@duering-andreas.de>
Tue, 15 Nov 2016 17:20:10 +0000 (15 18:20 +0100)
tree6268409c27cc926c0ff7c7dfbe72f7d6045c6e32
parent4b6e0cb055c64d2e2ab9c2f64ca3c721d5122168
add TODOs to design doc
doc/design.txt