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

Simpler group_map() #4251

Merged
merged 5 commits into from
Mar 15, 2019
Merged

Simpler group_map() #4251

merged 5 commits into from
Mar 15, 2019

Commits on Mar 12, 2019

  1. Simplifying group_map() so that it just returns a list.

    @romainfrancois
    romainfrancois committed Mar 12, 2019
    Configuration menu
    Copy the full SHA
    2e6706a View commit details
    Browse the repository at this point in the history

  2. document()

    @romainfrancois
    romainfrancois committed Mar 12, 2019
    Configuration menu
    Copy the full SHA
    897515e View commit details
    Browse the repository at this point in the history

  3. pass the ...

    @romainfrancois
    romainfrancois committed Mar 12, 2019
    Configuration menu
    Copy the full SHA
    a014ad3 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2019

  1. group_modify() becomes the old group_map() 

    group_map() becomes the proposed
    @romainfrancois
    romainfrancois committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    96a4d61 View commit details
    Browse the repository at this point in the history

  2. simpler group_modify() implementation using group_map()

    @romainfrancois
    romainfrancois committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    a0eff14 View commit details
    Browse the repository at this point in the history