diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-06-07 19:42:02 +0200 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-07 19:42:02 +0200 |
commit | 0647fb79dea80219ea0b0be2b315163d9a5d3ae2 (patch) | |
tree | 0e098461d5e6e7343082f3905ea7a565d50b44df /lib/git_presenters.ml | |
parent | 21cbcf2e8b69403f3973fa19e5e96bee5ba870b7 (diff) |
Routes.link_to now accepts arbitrary nodes as content.
Diffstat (limited to 'lib/git_presenters.ml')
0 files changed, 0 insertions, 0 deletions