Skip to content

Commit

Permalink
Rename ignsdk.man.1.gz to ignsdk.1.gz
Browse files Browse the repository at this point in the history
  • Loading branch information
ubunteroz committed Nov 11, 2013
1 parent b62c6d3 commit 97474d1
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion debian/ignsdk-debian.install
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
third-party.txt /usr/share/doc/ignsdk-debian/
doc/ignsdk.man.1.gz /usr/share/man/man1/
doc/ignsdk.1.gz /usr/share/man/man1/
File renamed without changes.

0 comments on commit 97474d1

Please sign in to comment.