aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions
tle='2020-03-09 16:01:18 +0100'>2020-03-09gnu: ding: Use HTTPS home page....Tobias Geerinckx-Rice 2020-02-21gnu: gcide: Use the copy-build-system....Pierre Neidhardt 2020-02-16gnu: lttoolbox: Remove redundant FILE-NAME....Tobias Geerinckx-Rice 2020-02-16gnu: lttoolbox: Update to 3.5.1....Tobias Geerinckx-Rice 2020-02-15gnu: diction: Update to 1.14....Tobias Geerinckx-Rice 2020-02-12gnu: grammalecte: Update to 1.7.0....Nicolas Goaziou 2020-01-16gnu: translate-shell: Fix emacs install phase....Efraim Flashner 2019-12-01gnu: grammalecte: Update to 1.6.0....Nicolas Goaziou 2019-10-06Merge branch 'master' into core-updatesRicardo Wurmus 2019-10-03gnu: grammalecte: Update to 1.5.0....Nicolas Goaziou 2019-10-02gnu: translate-shell: Update to 0.9.6.11....Pierre Langlois 2019-09-09gnu: grammalecte: Update to 1.4.0....Nicolas Goaziou 2019-09-02gnu: grammalecte: Update to 1.3.0....Nicolas Goaziou