Comparing master...thingsdb-pr · pygments/pygments · GitHub
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: pygments/pygments
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: pygments/pygments
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: thingsdb-pr
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 4 files changed
  • 2 contributors

Commits on Jan 11, 2024

  1. Update thingsdb lexer

    joente committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    c36f6b1 View commit details
    Browse the repository at this point in the history
  2. Import changes from main

    joente committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    a40d518 View commit details
    Browse the repository at this point in the history
  3. Removed unused tstringescape

    joente committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    45775af View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    fe03976 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. Use words()

    jeanas authored Jan 13, 2024
    Configuration menu
    Copy the full SHA
    cf12cd0 View commit details
    Browse the repository at this point in the history
  2. Revert "Use words()"

    This reverts commit cf12cd0.
    jeanas committed Jan 13, 2024
    Configuration menu
    Copy the full SHA
    13f5097 View commit details
    Browse the repository at this point in the history
Loading