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

Add --convert option from Hoogle4 #376

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Add --convert option from Hoogle4 #376

wants to merge 14 commits into from

Commits on Jul 15, 2021

  1. Run the update build twice

    @ndmitchell @michaelbjames
    ndmitchell authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    9ae512e View commit details
    Browse the repository at this point in the history

  2. Update README.md

    @ndmitchell @michaelbjames
    ndmitchell authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    d231960 View commit details
    Browse the repository at this point in the history

  3. Delete .travis.yml

    @ndmitchell @michaelbjames
    ndmitchell authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    e83fb60 View commit details
    Browse the repository at this point in the history

  4. Delete appveyor.yml

    @ndmitchell @michaelbjames
    ndmitchell authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    bd2919c View commit details
    Browse the repository at this point in the history

  5. Allow for JSONL output for search command 

    Reason: in situation where one cannot use the shell postprocessing it is
easier to output one entry per one line for which JSONL is suitable.
    @psiska @michaelbjames
    psiska authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    ba58af7 View commit details
    Browse the repository at this point in the history

  6. Update CHANGES.txt

    @ndmitchell @michaelbjames
    ndmitchell authored and michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    53a4c67 View commit details
    Browse the repository at this point in the history

  7. Specify a single .txt file

    @michaelbjames
    michaelbjames committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    37a201a View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2021

  1. change name to convert like hoogle4

    @michaelbjames
    michaelbjames committed Jul 16, 2021
    Configuration menu
    Copy the full SHA
    420e6a5 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2021

  1. Added documentation

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    455888a View commit details
    Browse the repository at this point in the history

  2. Included extra documentation

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    971e61b View commit details
    Browse the repository at this point in the history

  3. remove extra additions

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    84922c3 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/master'

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    94b3496 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into set_source

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    b818918 View commit details
    Browse the repository at this point in the history

  6. the flag is convert, not source

    @michaelbjames
    michaelbjames committed Jul 22, 2021
    Configuration menu
    Copy the full SHA
    69a6bde View commit details
    Browse the repository at this point in the history