clemera pushed a change to branch externals/dired-git-info.
at cd60dd4 Check visible part of file names for right formatting
No new revisions were added by this update.
clemera pushed a change to branch scratch/dired-git-info.
was cd60dd4 Check visible part of file names for right formatting
The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.
branch: master
commit 5d3e7416b6f3a84d8f6bd6b5fed6e8e82422f5dc
Author: Clemens Radermacher
Commit: Clemens Radermacher
* externals-list: Add dired-git-info
---
externals-list | 1 +
1 file changed, 1 insertion(+)
diff --git a/externals-list b/externals-list
index 118a346..c15dffd 100644
branch: externals/xr
commit 8912612803a734984f600b73d58c92ff40f7d480
Author: Mattias Engdegård
Commit: Mattias Engdegård
Fix xr-lint complaint about \[
---
xr-test.el | 7 ---
xr.el | 2 +-
2 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/xr-test.el b/xr-test.el
branch: externals/xr
commit 2cfd98ff44d194901c0d3370a5e2dc6675f21745
Author: Mattias Engdegård
Commit: Mattias Engdegård
Add xr-lint, a regexp linting tool
Since we are already parsing the regexp, we can easily detect uses
of questionable or obsolete syntax; `xr-lint' does
branch: externals/xr
commit 74cc24ca64016316ed669c4a42e4a76a05c6a2de
Author: Mattias Engdegård
Commit: Mattias Engdegård
Simplify: use preceding-char instead of buffer-substring
---
xr.el | 8 ++--
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/xr.el b/xr.el
index
branch: externals/xr
commit 139ed8481389eb029d867119543f99ddc4dec641
Author: Mattias Engdegård
Commit: Mattias Engdegård
Increment version number to 1.2
---
xr.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xr.el b/xr.el
index a779f1b..a430cf2 100644
--- a/xr.el
+++
mattiase pushed a change to branch externals/xr.
from e77aa97 Postfix ops are literal after ^ but not after \(?:^\)
new 74cc24c Simplify: use preceding-char instead of buffer-substring
new 2cfd98f Add xr-lint, a regexp linting tool
new 139ed84 Increment