[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33437: [PATCH] Add dune-build-system
From: |
Julien Lepiller |
Subject: |
bug#33437: [PATCH] Add dune-build-system |
Date: |
Tue, 18 Dec 2018 22:41:47 +0100 |
Le Mon, 19 Nov 2018 23:25:37 +0100,
Julien Lepiller <address@hidden> a écrit :
> Hi, here is a small patch series to add dune-build-system and convert
> a few packages to it.
pushed as 6e8986c8388e889eb74509999aea826fd440dcc4 -
34d5314e9c826b1f602f9aaa8d707ca594736aaf
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#33437: [PATCH] Add dune-build-system,
Julien Lepiller <=