GitXplorerGitXplorer
b

format-calendar

public
2 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
f13b603d63498dd3469fc366fc4633dccf4153c8

better error message

bbyorgey committed 4 months ago
Unverified
e8f0ef609c8082a23f6f9f963bd7135565b683e1

add POGIL resource type and bold formatting

bbyorgey committed 4 months ago
Unverified
cdd950825e996f4efae285237804df05422b9383

delete outdated calendar and add working examples

bbyorgey committed 9 months ago
Unverified
5c0885d1b2d9dce3b914ef87476918c4aa4a592a

add Agda resource type

bbyorgey committed 9 months ago
Unverified
14105d26bca97fe639782f5fe3ab6410b09f943f

allow base-4.19

bbyorgey committed a year ago
Unverified
a70b6bd2c462c8785f029507e109e4a65fe2c76c

make codedir field optional

bbyorgey committed a year ago