2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

List overview

[Github-comments] Re: [geany/geany-plugins] Add Pinner plugin (PR #1308)

Andy Alt

14 Feb 2024 14 Feb '24

7:06 p.m.

@andy5995 pushed 1 commit.

afeeb5952c1f9a56aa15117c723ecebfe2c20ba1 Remove header, make all functions static

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

Attachments:

attachment.html (text/html — 2.0 KB)

Reply

Back to the thread

Back to the list