Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .SRCINFO | 1727 | logstatsplain |
-rw-r--r-- | 0002-Ignore-absence-of-version-number-in-user_guide.patch | 1022 | logstatsplain |
-rw-r--r-- | 0003-Honour-DESTDIR-in-installation-targets.patch | 1298 | logstatsplain |
-rw-r--r-- | 0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch | 305 | logstatsplain |
-rw-r--r-- | 0005-Fix-recursive-make-in-docs.patch | 1163 | logstatsplain |
-rw-r--r-- | PKGBUILD | 3908 | logstatsplain |
-rw-r--r-- | gps.desktop | 209 | logstatsplain |
-rw-r--r-- | patch-filter_panels.adb | 1456 | logstatsplain |
-rw-r--r-- | patch-gtkada-search_entry.adb | 1816 | logstatsplain |
-rw-r--r-- | patch-gtkada-search_entry.ads | 507 | logstatsplain |
-rw-r--r-- | patch-share-support-core-extensions-__init__.py | 361 | logstatsplain |
-rw-r--r-- | patch-share-support-core-modules.py | 650 | logstatsplain |
-rw-r--r-- | patch-share-support-core-tool_output.py | 497 | logstatsplain |
-rw-r--r-- | patch-share-support-ui-pygps-__init__.py | 1085 | logstatsplain |
-rw-r--r-- | patch-shared.gpr.in | 496 | logstatsplain |