source-git / gedit-plugins

Clone
Source Code
GIT

Files

  1.   6978fbaca2cf3beea877bab83b648b9977a406ce
  2.   plugins
  3.   codecomment
  4.   Makefile.am
Blob Blame History Raw 
if ENABLE_PYTHON
plugin_PYTHON += plugins/codecomment/codecomment.py
plugin_in_files += plugins/codecomment/codecomment.plugin.desktop.in
appstream_in_files += plugins/codecomment/gedit-codecomment.metainfo.xml.in
else
dist_plugin_in_files += plugins/codecomment/codecomment.plugin.desktop.in
dist_appstream_in_files += plugins/codecomment/gedit-codecomment.metainfo.xml.in
endif

Powered by Pagure 5.14.1

SSH Hostkey/Fingerprint | Documentation