aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
blob: 831b905cc97f163b11a07b3fc45e3540ebd78882 (plain) (blame) 
1
2

_build
dune-project
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-04-24 07:16:43 +0000
class='deletions'>-129/+129 2021-07-18Ignore "Dictionaries.log".Gravatar Arthur A. Gleckler 1-1/+2 2021-07-18Fix errors reported by W3C HTML Validator.Gravatar Arthur A. Gleckler 1-27/+27 2021-07-18Eliminate unnecessary redirect by using TLS/SSL.Gravatar Arthur A. Gleckler 1-1/+1