diff options
| author | tv <tv@shackspace.de> | 2015-07-23 00:37:21 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-23 00:37:21 +0200 |
| commit | 504b1b90e809934a01357450ccdf35c4e4afc74d (patch) | |
| tree | 2b6a539ad2a9f3c4d4b2cf24034cea7e239acb51 /0make/tv/nomic.makefile | |
| parent | 14ac6d3bba12f07bd8aa79221b9c64469fe03046 (diff) | |
* tv identity: define type harder
Diffstat (limited to '0make/tv/nomic.makefile')
0 files changed, 0 insertions, 0 deletions