Overview
| Comment: | [build] check lemmas |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | build |
| Files: | files | file ages | folders |
| SHA3-256: |
b6e8d1bea57ddafc44ed66af87618ee0 |
| User & Date: | olr on 2020-11-16 21:57:29 |
| Other Links: | manifest | tags |
Context
|
2020-11-16
| ||
| 22:51 | [fr] mise à jour du dictionnaire check-in: c4896b5dd8 user: olr tags: trunk, fr | |
| 21:57 | [build] check lemmas check-in: b6e8d1bea5 user: olr tags: trunk, build | |
| 21:55 | [fr] ajustements check-in: 38a9f843dd user: olr tags: trunk, fr | |
Changes
Modified compile_rules_graph.py from [aa84907702] to [38bc0eb9da]. [diff]
Modified lex_build.py from [5bdf726eee] to [d4a3c39602]. [diff]