Update setup method
Update setup method


lino-framework/book,lino-framework/book,lino-framework/book,lino-framework/book,khchine5/book,lsaffre/lino_book,khchine5/book,khchine5/book,lsaffre/lino_book,lsaffre/lino_book