aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-indent.el
AgeCommit message (Expand)Author
1998-09-08Added IdDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 14:26:39 +0000