Make Libxhcidbg a SPARK library
authorAdrian-Ken Rueegsegger <ken@codelabs.ch>
Tue, 3 Oct 2017 10:25:54 +0000 (12:25 +0200)
committerAdrian-Ken Rueegsegger <ken@codelabs.ch>
Fri, 27 Oct 2017 15:21:41 +0000 (17:21 +0200)
commit4123b8f91c9e53c83b8d243a414b76ce86499743
treebfbb8850d63a86ed523ad9e699a3f5f503c84563
parent16f8864b0db8ff24166b8c56782125d0f10d1fb7
Make Libxhcidbg a SPARK library
libxhcidbg.gpr