-
Committer:
Package Import Robot
-
Author(s):
Nicolas Boulenguez
-
Date:
2013-07-06 22:08:20 UTC
-
Revision ID:
package-import@ubuntu.com-20130706220820-l6swnqv0c6h0w1cn
Tags: 5.0-14
* patches/documentation-formats: fix incompatibilities with texinfo 5.
Ignore docs/texiplus.tex. Closes: #712323.
* Move debian/TODO,known-problems,features from gnat-gps to -doc package.
* control (DM-Upload-Allowed): removed obsolete field.
(Build-Depends): pkg-config. Closes: #685071.
(Standards-Version): 3.9.4 (no change needed)
* menu -> gnat-gps.menu: for clarity.
* README.source, build_gps.gpr, copyright, rules: copyright update.