I wanted to add the following entries to the .gitignore file for the Lazarus repo:
/docs/html/*.log /docs/html/*.inc /docs/html/*.xml They're generated artifacts from building help. Can I add these? Or, should someone else do that? -- Don
-- _______________________________________________ lazarus mailing list lazarus@lists.lazarus-ide.org https://lists.lazarus-ide.org/listinfo/lazarus
