Skip to content
Snippets Groups Projects
Commit 388b6497 authored by Vladimir Davydov's avatar Vladimir Davydov
Browse files

vinyl: rename page index to row index 

In our terminology, page index is index of pages in a run while row
index is index of rows in a page. Rename page index to row index where
appropriate.
parent bd2a23f0
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment