tree 1b52047053c84602ee34cf30ecb8093fc14a71db
parent 34f3d1f4bdf69b4f311ae5d9533c4be53c260894
author Sergey G. Grekhov <sgrekhov@unipro.ru> 1644467479 +0700
committer Sergey G. Grekhov <sgrekhov@unipro.ru> 1644467479 +0700

Fixes #1297. User-written 'index' is not allowed