Skip to content
This repository has been archived by the owner on Jan 6, 2022. It is now read-only.

PULP builtins integration #21

Open
alessandrocapotondi opened this issue Sep 14, 2018 · 0 comments
Open

PULP builtins integration #21

alessandrocapotondi opened this issue Sep 14, 2018 · 0 comments
Assignees
@alessandrocapotondi
Labels
enhancement New feature or request

Comments

@alessandrocapotondi
Copy link
Contributor

Add missing PULP builtins into libhero-target
@alessandrocapotondi alessandrocapotondi self-assigned this Sep 14, 2018
@alessandrocapotondi alessandrocapotondi added the enhancement New feature or request label Sep 14, 2018
@alessandrocapotondi alessandrocapotondi changed the title **[bugfix] PULP builtins integration** **[enhancement] PULP builtins integration** Sep 14, 2018
@alessandrocapotondi alessandrocapotondi changed the title **[enhancement] PULP builtins integration** [enhancement] PULP builtins integration Sep 19, 2018
@alessandrocapotondi alessandrocapotondi changed the title [enhancement] PULP builtins integration PULP builtins integration Sep 28, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alessandrocapotondi alessandrocapotondi

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@alessandrocapotondi