mirror of https://github.com/go-gitea/gitea
Git with a cup of tea, painless self-hosted git service
Mirror for internal git.with.parts use
https://git.with.parts
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
310 B
15 lines
310 B
8 years ago
|
message BackIndexTermEntry {
|
||
|
|
required string term = 1;
|
||
|
|
required uint32 field = 2;
|
||
|
|
}
|
||
|
|
|
||
|
|
message BackIndexStoreEntry {
|
||
|
|
required uint32 field = 1;
|
||
|
|
repeated uint64 arrayPositions = 2;
|
||
|
|
}
|
||
|
|
|
||
|
|
message BackIndexRowValue {
|
||
|
|
repeated BackIndexTermEntry termEntries = 1;
|
||
|
|
repeated BackIndexStoreEntry storedEntries = 2;
|
||
|
|
}
|