diff options
| author | Joey Hess <joey@kitenet.net> | 2014-09-25 03:05:11 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-09-25 03:05:11 -0400 |
| commit | e917c58447b500527de87659c0c562ffc72e88ab (patch) | |
| tree | 61fd244084b36a3b8d1d96853bfbde36101fbd79 /doc | |
| parent | dac8e7c37533009d4f1ee62f2235333736092a50 (diff) | |
add
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/type_level_port_conflict_detection.mdwn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn new file mode 100644 index 00000000..43118cdd --- /dev/null +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -0,0 +1 @@ +See <http://stackoverflow.com/questions/26027765/using-types-to-prevent-conflicting-port-numbers-in-a-list> --[[Joey]] |