- Committer: Jean-Vincent Loddo
- Date: 2023-11-08 10:35:56 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20231108103556-i5bicb635a87vpnb
Minor but relevant changes in marionnet_from_scratch. Now the Makefile's entries `configure' and `switch' are early called with the opam initialization. Also, in Ubuntu >= 20, we force Gtk to display images packed in buttons (as required by marionnet)
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
dune |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | 52 bytes |
|
|
|
marionnet.ml |
532 | 1 year ago | Jean-Vincent Loddo | Major change (#3): code restructured in order to c | Empty |
|
|