summaryrefslogtreecommitdiff
path: root/doc/ale-idris.txt
diff options
context:
space:
mode:
authorHéctor Ramón Jiménez <hector0193@gmail.com>2018-05-12 04:16:14 +0200
committerHéctor Ramón Jiménez <hector0193@gmail.com>2018-05-12 04:16:14 +0200
commitc3f61c391bd74e8feb0d7d127ba353093a61b5c7 (patch)
tree70457417383b3265807fd0ef197cb9fb7c2db0bd /doc/ale-idris.txt
parent089a07c6a6789770d497fe12307222e24b16bbae (diff)
downloadale-c3f61c391bd74e8feb0d7d127ba353093a61b5c7.zip
Use `message` as `text` instead of `title`
`title` does not contain much information which forces to use :ALEDetail most of the time
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions