ryuta-ito / coqtop-vim

Interact with coqtop within Vim

0 stars 0 forks source link

Add LoadPath "../group/". のようなケースに対応する #15

Closed ryuta-ito closed 3 years ago

ryuta-ito commented 3 years ago

7 に対する対応