diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-26 18:05:38 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-26 18:05:38 -0500 |
| commit | 0c6e40cb03d8071b50c5906a6ae0a9d4cafed822 (patch) | |
| tree | 989dbbb5738a522ccaa82d323514fefe635b9027 /lib/company | |
| parent | c4056581936c6e173c6dce3afb2c1fdac6adbb69 (diff) | |
| parent | eb7e51cf86cbc2983ade92431efa151817c20499 (diff) | |
| download | configs-0c6e40cb03d8071b50c5906a6ae0a9d4cafed822.tar.gz configs-0c6e40cb03d8071b50c5906a6ae0a9d4cafed822.tar.xz configs-0c6e40cb03d8071b50c5906a6ae0a9d4cafed822.zip | |
Merge branch 'straight-next'
Diffstat (limited to '')
| m--------- | lib/company | 0 | ||||
| m--------- | lib/company-ebdb | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/lib/company b/lib/company deleted file mode 160000 -Subproject b696b3943d2a55aed937cb0ba971d6e29b2e3a8 diff --git a/lib/company-ebdb b/lib/company-ebdb deleted file mode 160000 -Subproject 3b463fe1236ac6445657f3a1df20357a7a2fa8f |