diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-24 18:09:06 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-24 18:09:06 -0500 |
| commit | a4e6db7e8a6337f59aa013a55af580efa1ad17e5 (patch) | |
| tree | dea9bab0b5658c082e2db90e396fea71fe2d08da /lib | |
| parent | 12a0f8f0caca07bcab2081d26c1c871f0bf41982 (diff) | |
| download | configs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.tar.gz configs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.tar.xz configs-a4e6db7e8a6337f59aa013a55af580efa1ad17e5.zip | |
[emacs] assimilate boogie-friends
Diffstat (limited to '')
| m--------- | lib/boogie-friends | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/boogie-friends b/lib/boogie-friends new file mode 160000 +Subproject ff9903783013f3598b6f44c99d47b25c5cdbed0 |