Pull Requests - pollen - Gitea: Git with a cup of tea

New Pull Request

Open

CONTRIBUTING.md: Google groups → Pollen users repo

#247 by otherjoel was merged

1

CI: build using Racket 6.6 and up, drop Travis CI config

#245 by Bogdanp was merged

1

start command: fix default value for port

#244 by Bogdanp was merged

1

improve failure handling in `start' command

#242 by Bogdanp was merged

1

Add LaTeX environments for custom Scribble tags (fixes #231)

#232 by otherjoel was merged

scribble-fix-latex

1

Small edits

#226 by otherjoel was merged

1

Small update to documentation

#218 by bnbeckwith was merged

1

Add racket and raco to the Windows 10 path

#201 by passthejoe was closed

1

Remove extra word

#200 by timcondit was merged

1

Fix typo "backlash"

#199 by Singletoned was merged

1

Fix gitignore paths

#196 by sorawee was merged

1

Document Pygments options and regenerate Scribble files

#182 by sorawee was merged

1

Sync changes from Frog's pygments

#181 by sorawee was merged

1

add utilities by @lijunsong

#178 by odanoburu was merged

1

Set default file extensions for pollen in DrRacket.

#174 by LeifAndersen was merged

1

Fix extra ‘}’

#171 by leafac was merged

1

Set the MIME-TYPE of .txt files to specify UTF-8

#165 by jbaum98 was closed

text-unicode-mime

1

Fix typo in docs for third tutorial

#162 by matiasz was merged

1

Update URL of ‘Secretary’ project in scribble docs

#161 by otherjoel was merged

1

Issue #141: Improve instructions for entering lozenge glyph

#142 by rrthomas was merged

1

1 2 3 4