diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 23:38:19 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-08-04 23:38:19 +0200 |
| commit | d10a8424cbf8e529a1b36287d41f7fe6df353e2f (patch) | |
| tree | 45a44dca1163eca25ccd9035187fba048e6653c8 /.gitignore | |
| parent | ca530eb3a2b65dbc7716e557752c87e36aa1879d (diff) | |
Get rid of the non-reloadable version
It creates two different versions of the code for no valid
reason. dynamically loading the display is not that mystical in the end.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions