diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-30 16:32:07 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-30 16:32:07 +0200 |
| commit | 20ba9213950544c6a7f1dd04af160bf674561e3b (patch) | |
| tree | 7f33742a84906830a34f3bfe7f535b52bcf72068 /index.html | |
| parent | 7c65ca7a98e681eee5d1910c10e57072caee1799 (diff) | |
Implemented structural translation of hints and plans.
Diffstat (limited to 'index.html')
0 files changed, 0 insertions, 0 deletions