diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:15:41 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:16:15 +0200 |
| commit | 90aa46819c8f0c4ed2813f69ddfe4b65708135be (patch) | |
| tree | 72807abab52bb5f92dd81572ae5885e7ac1eec97 /test-suite/ssr/first_n.v | |
| parent | df35025b2be4a0dc9aadecc0e3110a21012683cf (diff) | |
Revert "Add a note about [ci skip] in CI README."
This reverts commit 3a44a190a7f5d057b6a4bcb50124b42d83f3d03d.
Diffstat (limited to 'test-suite/ssr/first_n.v')
0 files changed, 0 insertions, 0 deletions