mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity
9,656 Commits 1 Branch 0 Tags
5bc0d9ac2bbd4d276664fa9a13a227fff97f651b
Commit Graph

3 Commits

Author SHA1 Message Date
Alessandro Barbieri
ad929a5ce5 dev-ml/*: change dune invocation 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:17 +02:00
Alessandro Barbieri
e2d4d202f4 dev-ml/io-page: tests and useflags 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-15 22:34:15 +02:00
Alessandro Barbieri
0f7ade2768 dev-ml/io-page: initial import 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-04 01:46:07 +02:00