This repository has been archived by the owner on Jan 31, 2020. It is now read-only.

Glob imports #43

Open

dhardy opened this issue Jul 19, 2016 · 0 comments

Labels

API enhancement

Milestone

Owner

dhardy commented Jul 19, 2016

Think about which names should be available where. This currently fails because symbols are exposed in multiple places:

use pippin::*;
use pippin::repo::*;
use pippin::merge::*;

dhardy added this to the Beta release milestone

dhardy added enhancement milestone API labels

dhardy mentioned this issue

API Privacy #23

Closed

dhardy removed the has milestone label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.