2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

List overview

[Github-comments] Re: [geany/geany-plugins] GeanyLua: Use LuaJIT when available (PR #1233)

xiota

4 Mar 2023 4 Mar '23

11:49 p.m.

@xiota pushed 1 commit.

96d39df306b9d03c027cbddcc0d258312265382c GeanyLua: Give priority to specified Lua package

-- View it on GitHub: https://github.com/geany/geany-plugins/pull/1233/files/dbb80e6cd54851e0be591... You are receiving this because you are subscribed to this thread. Message ID: geany/geany-plugins/pull/1233/push/12827020739@github.com

Attachments:

attachment.html (text/html — 1.9 KB)

Reply

Back to the thread

Back to the list