Skip to content

strip trailing dots in goto/datatip (and rename)#208

Merged
aviatesk merged 7 commits into
masterfrom
avi/partialdots
Nov 1, 2019
Merged

strip trailing dots in goto/datatip (and rename)#208
aviatesk merged 7 commits into
masterfrom
avi/partialdots

compat with julia 1.0

9d80e2f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs