Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update paged list #421

Merged
merged 5 commits into from
Apr 17, 2018
Merged

Update paged list #421

merged 5 commits into from
Apr 17, 2018

Commits on Apr 16, 2018

  1. Update paged list

    @elihart
    elihart committed Apr 16, 2018
    Configuration menu
    Copy the full SHA
    3035185 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2018

  1. clean up prefetch distances

    @elihart
    elihart committed Apr 17, 2018
    Configuration menu
    Copy the full SHA
    7c84665 View commit details
    Browse the repository at this point in the history

  2. add javadoc

    @elihart
    elihart committed Apr 17, 2018
    Configuration menu
    Copy the full SHA
    a440ce9 View commit details
    Browse the repository at this point in the history

  3. update javadoc

    @elihart
    elihart committed Apr 17, 2018
    Configuration menu
    Copy the full SHA
    cfe6f5c View commit details
    Browse the repository at this point in the history

  4. Update default prefetch distance

    @elihart
    elihart authored Apr 17, 2018
    Configuration menu
    Copy the full SHA
    5c12088 View commit details
    Browse the repository at this point in the history