diff options
| author | Enrico Tassi | 2015-02-20 16:01:12 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-21 19:25:24 +0100 |
| commit | 7fc3adcf583cea7db6a224d9a58554b19d41cd4c (patch) | |
| tree | 7ffc7fd9192d4e4ab8f469b1c66a6aaa4e7f73a8 /dev/base_include | |
| parent | cab07133acbce19e865b8302fef24dd4ea190d90 (diff) | |
Future: human readable name for delegated (Close #4065)
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions