nodist: added missing symbols
authorNicola Fontana <ntd@entidi.it>
Sun, 29 Dec 2013 12:49:34 +0000 (13:49 +0100)
committerNicola Fontana <ntd@entidi.it>
Sun, 29 Dec 2013 12:49:34 +0000 (13:49 +0100)
commit164d442e7c4fadce5cee35c4a9414b4653b5481f
treeb88e7a4e060385696bcad3eb897b8d42f2644e7b
parenta24717ac70ef2f4cba1c8836681e77e820e3cdc5
nodist: added missing symbols

Defined cloud, tablet and workstation symbols.
nodist/.gitignore
nodist/symbols.mp