Commits : Listings
Analyzed
about 19 hours
ago.
based on code collected
about 23 hours
ago.
|
Apr 19, 2023
—
Apr 19, 2024
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| Add agda mode and smoother scrolling. |
|
More... | over 15 years ago | |||
| Fine tune dark color theme. |
|
More... | over 15 years ago | |||
| Fine tune bright emacs color theme. |
|
More... | over 15 years ago | |||
| Add solutions.org |
|
More... | almost 16 years ago | |||
| Add .gitconfig |
|
More... | almost 16 years ago | |||
| Add emacs stuff |
|
More... | almost 16 years ago | |||
| Add darcs stuff |
|
More... | almost 16 years ago | |||
