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
315 B
15 lines
315 B
6 years ago
|
message BackIndexTermsEntry {
|
||
|
|
required uint32 field = 1;
|
||
|
|
repeated string terms = 2;
|
||
|
|
}
|
||
|
|
|
||
|
|
message BackIndexStoreEntry {
|
||
|
|
required uint32 field = 1;
|
||
|
|
repeated uint64 arrayPositions = 2;
|
||
|
|
}
|
||
|
|
|
||
|
|
message BackIndexRowValue {
|
||
|
|
repeated BackIndexTermsEntry termsEntries = 1;
|
||
|
|
repeated BackIndexStoreEntry storedEntries = 2;
|
||
|
|
}
|