Skip to content

Commit 5082daa

Browse files
committed
Fix line formatting
1 parent 7236ead commit 5082daa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.org

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,4 +45,4 @@ time (i.e. a few hours or more) to find a good solution.
4545
Solutions are written targeting the [[https://github.com/LPCIC/elpi][Elpi]] dialect and tested by running with
4646
Elpi.
4747

48-
[[file:solutions/lists.mod][- Lists]]
48+
- [[file:solutions/lists.mod][Lists]]

0 commit comments

Comments
 (0)