Labels Milestones

Document Pygments options and regenerate Scribble files #182

Merged

sorawee merged 1 commits from new-master into master 6 years ago

Conversation 1 Commits 1 Files Changed 2

sorawee commented 6 years ago (Migrated from github.com)

Complete the documentation for Pygments.

The change to scribble-common.js is due to a new feature from a new version
of Scribble.

Complete the documentation for Pygments. The change to `scribble-common.js` is due to a new feature from a new version of Scribble.

mbutterick commented 6 years ago (Migrated from github.com)

OK thanks. AFAIK that JS file is included in the repo by error — it's automatically generated when needed.

OK thanks. AFAIK that JS file is included in the repo by error — it's automatically generated when needed.

The pull request has been merged as ef31b6e130.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b new-master master

git pull origin new-master

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff new-master

git push origin master

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: mbutterick/pollen#182

Write Preview

Loading…

Cancel

Save

There is no content yet.