← Back to branch summary

~ubuntu-branches/debian/sid/pgadmin3/sid

« back to all changes in this revision

Viewing changes to debian/patches/embed-xrc

  • Committer: Package Import Robot
  • Author(s): Christoph Berg
  • Date: 2014-10-23 12:42:50 UTC
  • mfrom: (1.3.7)
  • Revision ID: package-import@ubuntu.com-20141023124250-lyt902bdtiugcyz6
Tags: 1.20.0~beta2-1
* New upstream release.
* Use /bin/bash in pgadmin/ui/embed-xrc.
* Use /usr/share/dpkg/buildflags.mk.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/patches/embed-xrc
 
1
--- a/pgadmin/ui/embed-xrc
 
2
+++ b/pgadmin/ui/embed-xrc
 
3
@@ -1,4 +1,4 @@
 
4
-#!/bin/sh
 
5
+#!/bin/bash
 
6
 
 
7
 #######################################################################
 
8
 #