|
From: | João Távora |
Subject: | [Emacs-diffs] branch scratch/flymake-augment-api created (now 46366c4) |
Date: | Thu, 19 Oct 2017 07:36:17 -0400 (EDT) |
capitaomorte pushed a change to branch scratch/flymake-augment-api. at 46366c4 Augment Flymake API for third-party extensions This branch includes the following new commits: new 46366c4 Augment Flymake API for third-party extensions
[Prev in Thread] | Current Thread | [Next in Thread] |