Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[feature] opages: removal of chars in Opa

  • Loading branch information...
commit 3f364784a7958796d795838dd0ddf1632724bfbb 1 parent 9045e8c
François-Régis Sinot authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  OPAges/src/page.opa
View
2  OPAges/src/page.opa
@@ -809,7 +809,7 @@ Page = {{
build_rev(key, (author, date, parent, sons), (acc, pad)) =
i = key
based = "" // if parent < 0 then "" else " based on {parent}"
- pad = String.make(pad, '-')
+ pad = String.repeat(pad, "-")
value = "{pad}#{i} | {Date.to_formatted_string(Date.date_only_printer, date)} @ {Date.to_formatted_string(Date.time_only_printer, date)} by {author}{based}"
value = if r.rev == i then value ^ " [pub]" else value
value = if size == i then value ^ " [last]" else value

0 comments on commit 3f36478

Please sign in to comment.
Something went wrong with that request. Please try again.