From c84247b6084d9430e88b3234e5cedfb522eebcc619de91c93a3b4732c3eebc21 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 2 Mar 2017 14:13:01 +0000 Subject: [PATCH] enable uclibc OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=8 --- klee.changes | 4 ---- 1 file changed, 4 deletions(-) diff --git a/klee.changes b/klee.changes index b3b9d4b..483219c 100644 --- a/klee.changes +++ b/klee.changes @@ -2,10 +2,6 @@ Thu Mar 2 14:11:06 UTC 2017 - jslaby@suse.com - enable uclibc & POSIX runtime - -------------------------------------------------------------------- -Thu Mar 2 13:47:34 UTC 2017 - jslaby@suse.com - - add some %doc files -------------------------------------------------------------------