[nongnu] elpa/idris-mode updated (6c22a7b -> 8553aef)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  6c22a7b   Merge pull request #544 from jfdm/borrowings-idris2-mode
       new  dcabbc4   [ feature ] Make sending words of encouragement 
customisable.
       new  e46686e   [ fixup ] make sure names are unique...
       new  8553aef   Merge pull request #541 from 
jfdm/allow-words-of-encouragement-to-be-turned-off


Summary of changes:
 idris-settings.el |  5 +++++
 inferior-idris.el | 16 +++++++++-------
 2 files changed, 14 insertions(+), 7 deletions(-)