Commit c56f8d6d authored by Gaspard FEREY's avatar Gaspard FEREY

Update whitelist

parent 928251cc
github.com/Deducteam/Dedukti.git dkcheck.native bfd7c05a2e17817e62f653a4a8a0c94fe4287683 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native a2bfb5e2eecd77f502c9c9b41eeb6083cf324288 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native c94c8a54ab95e683c3dbf0238cf2b280cc38979c acu-state
github.com/Deducteam/Dedukti.git dkcheck.native b8ff8cdac93735ab55104c8bac640ff4eae257ee acu-state
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment