hans 03c874d0c4 Editor configuration added.

2026-08-14 16:03:18 +02:00

..

config.rkt

Documentation added and extended git log / git diif

2026-08-13 11:12:08 +02:00

diff.rkt

Added configuration for diff2html

2026-08-13 12:43:44 +02:00

find-editor.rkt

Editor configuration added.

2026-08-14 16:03:18 +02:00

find-mergetool.rkt

Editors and Mergetools with drracket

2026-08-14 11:30:56 +02:00

git-auth.rkt

Authentication

2026-08-13 21:53:46 +02:00

git-commands.rkt

Authentication

2026-08-13 21:53:46 +02:00

git-provider.rkt

Editor configuration added.

2026-08-14 16:03:18 +02:00

info-handler.rkt

Authentication handler in drracket

2026-08-13 19:13:58 +02:00

utils.rkt

Authentication

2026-08-13 21:53:46 +02:00