It's a submodule, which makes it weird. Copying the other one isn't a bad idea.
-Aris On Tue, Nov 14, 2017 at 10:44 AM, ATMunn <iamingodsa...@gmail.com> wrote: > Hm, I don't know how to include the header. I've tried to copy from the old > repo, but I'm having trouble with that. I'm considering just getting rid of > my new one and using the old one instead. > > > On 11/14/2017 1:11 PM, ATMunn wrote: >> >> Yep, thanks. >> >> On 11/14/2017 1:02 PM, Aris Merchant wrote: >>> >>> I'm presuming you're ATMunngit? If so, done. >>> >>> -Aris >>> >>> On Tue, Nov 14, 2017 at 9:35 AM, ATMunn <iamingodsa...@gmail.com> wrote: >>>> >>>> I'd like to join the Agora GitHub group, so I can publish my ADoP >>>> reports on >>>> there.
