From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Thu, 14 Feb 2019 13:16:27 +0000 (+0100)
Subject: Add 'editline/' from commit '5881de1c8bbe28aef2b9a5abdac4ae29fa5c456b'
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=7b75ed44ab9fff8685ffbf790747a769524a2b82;hp=7b75ed44ab9fff8685ffbf790747a769524a2b82;p=perso%2FImmae%2FConfig%2FAUR.git

Add 'editline/' from commit '5881de1c8bbe28aef2b9a5abdac4ae29fa5c456b'

git-subtree-dir: editline
git-subtree-mainline: 383eef4b4134856f58fca6270d7cf713cf8a5400
git-subtree-split: 5881de1c8bbe28aef2b9a5abdac4ae29fa5c456b
---