gravel
|
8e9225ef54
|
Rename PHP entrypoint
|
2 years ago |
gravel
|
bcd8191aca
|
Add permanent redirects from .html URIs
|
2 years ago |
gravel
|
029a6ad0c6
|
Update fetch-compare-known script
|
2 years ago |
gravel
|
46d85b059f
|
Fix commit hook output formatting
|
2 years ago |
gravel
|
2e06b22d18
|
Preserve Doxyfile configuration
|
2 years ago |
gravel
|
bd453c8413
|
Correct test wording
|
2 years ago |
gravel
|
43700b31a7
|
Merge branch 'main' into dev
|
2 years ago |
gravel
|
c0a4b9c09a
|
Cache fetched sources
|
2 years ago |
gravel
|
1b896b7666
|
Conform to sh & run full tests
|
2 years ago |
gravel
|
ceea186ded
|
Reorganizing & codestyle compliance
|
2 years ago |
gravel
|
de799bf389
|
Limit new NGINX config location
|
2 years ago |
gravel
|
3f14ca31fd
|
Use proper docroot-relative path in NGINX config
|
2 years ago |
gravel
|
33888f0d30
|
Split NGINX config
|
2 years ago |
gravel
|
75d7ef2d60
|
Track NGINX config
|
2 years ago |
gravel
|
0f5d03d23c
|
Merge branch 'dev' into parallel-fetching
|
2 years ago |
gravel
|
9c59dcdbdb
|
Add script to compare results with cache
|
2 years ago |
gravel
|
64f77da0d1
|
Move systemd into etc
|
2 years ago |
gravel
|
2a13c7f737
|
Merge dev & misc folders
|
2 years ago |