Grégoire Henry a7364f0ed5 Proto_env: remove Context.list
This was a reminder of old-time (before irmin-1.0). It is now replaced
with: `Context.{fold,keys}`.
2017-11-17 15:54:36 +01:00
..
2017-11-13 22:30:35 +01:00
2017-11-17 15:54:36 +01:00