Skip to content

Remove unused builtins.h#173

Merged
chfast merged 1 commit intomasterfrom
remove_builtins
Jun 23, 2020
Merged

Remove unused builtins.h#173
chfast merged 1 commit intomasterfrom
remove_builtins

Conversation

@chfast
Copy link
Owner

@chfast chfast commented Jun 23, 2020

No description provided.

@codecov-commenter
Copy link

Codecov Report

Merging #173 into master will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##            master      #173   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            9         9           
  Lines         2281      2281           
=========================================
  Hits          2281      2281           

@chfast chfast merged commit f9501ba into master Jun 23, 2020
@chfast chfast deleted the remove_builtins branch June 23, 2020 11:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants