view contrib/docker/debian-jessie @ 27051:1168499e5266

histedit: make use of bookmarks.recordchange instead of bookmarks.write Before this patch we were using the old api bookmarks.write, this patches replaces its usage by bookmarks.recordchange, the new api to record bookmark changes.
author Laurent Charignon <lcharignon@fb.com>
date Fri, 20 Nov 2015 13:23:47 -0800
parents 4c4d0012db4f
children e02bae37af30
line wrap: on
line source

FROM debian:jessie
RUN apt-get update && apt-get install -y \
  build-essential \
  debhelper \
  dh-python \
  devscripts \
  python \
  python-all-dev \
  python-docutils \
  zip \
  unzip