diff options
| author | Pierre-Marie Pédrot | 2018-11-22 12:55:44 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-23 13:59:15 +0100 |
| commit | 229c82244debad8da7137e931b1422adcf39d3f4 (patch) | |
| tree | d66161f87c0387ba182674b5833ef895efeced03 /dev/ci | |
| parent | 548dcdc751287274c9cce7d13d779a81346a5af2 (diff) | |
Remove the unsafe API from gramlib.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions