diff options
| author | Erik Martin-Dorel | 2019-11-01 10:00:01 +0100 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:22:07 +0100 |
| commit | acdaab2a8c2ccb63df364bb75de8a515b2cef484 (patch) | |
| tree | fb598f877b4010b1957f134a194cf59bec93da95 /.gitignore | |
| parent | 324072c12a164f98d0ffa8125d319ffb49df87d8 (diff) | |
docs(gallina-extensions.rst): Say more on float literals extraction
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions