From bc7a6699340e710237695c976f320fae5727ddf0 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sun, 13 Nov 2016 22:17:21 -0500 Subject: libraries/buddy: Fix slack-desc. --- libraries/buddy/slack-desc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'libraries/buddy') diff --git a/libraries/buddy/slack-desc b/libraries/buddy/slack-desc index ff85f0314d..f19819f8b1 100644 --- a/libraries/buddy/slack-desc +++ b/libraries/buddy/slack-desc @@ -9,10 +9,10 @@ buddy: buddy (Binary Decision Diagram library) buddy: buddy: A Binary Decision Diagram library, with: -buddy: - many highly efficient vectorized BDD operations, -buddy: - dynamic variable reordering, -buddy: - automated garbage collection, -buddy: - a C++ interface with automatic reference counting, +buddy: - many highly efficient vectorized BDD operations, +buddy: - dynamic variable reordering, +buddy: - automated garbage collection, +buddy: - a C++ interface with automatic reference counting, buddy: and much more. buddy: buddy: https://sourceforge.net/projects/buddy/ -- cgit v1.2.3